All Questions
1,533 questions with no upvoted or accepted answers
2
votes
0
answers
120
views
A sequence linked to irrationality
Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by :
$$u_0 = x$$
$$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
- 69
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 71
2
votes
0
answers
159
views
Upper bound of a product of sines
Consider the function
$$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$
I wonder whether it is possible to compute some nontrivial upper ...
- 826
2
votes
0
answers
95
views
Can we control the Wasserstein metric between $\mu$ and $\nu$ by their moment difference?
Fix $p \in [1, \infty)$. Let $(\mathcal P_p(\mathbb R^d), W_p)$ be the Wasserstein space of all Borel probability measures on $\mathbb R^d$ with finite $p$-th moment. Let $D_p$ be the collection of ...
- 657
2
votes
0
answers
103
views
Find a function $f\geq 0$ such that $e^{-t[(x-\partial_x)\partial_x]^2} f$ is not non-negative for some $t\geq 0$
Consider the square of the Ornstein-Uhlenbeck operator $$A=[(x-\partial_x)\partial_x]^2=(x-\partial_x)\partial_x (x-\partial_x)\partial_x.$$ We know that $[(x-\partial_x)\partial_x]^2$ cannot be a ...
- 90
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
- 90
2
votes
0
answers
116
views
Behavior at infinity of an $L^2$ function with $L^2$ mixed second derivatives
If $f$, $\nabla_x \cdot \nabla_y f \in L^2(\mathbb{R}^d_x\times \mathbb{R}^d_y)$, what can be said about decay at infinity of $\nabla_x f$, $\nabla_y f$?
It is clear that $(\nabla_x^2 + \nabla_y^2) f \...
- 469
2
votes
0
answers
100
views
Are analytic solutions for the Navier-Stokes equations sufficient?
Generally, we ask for solutions of the Navier-Stokes equations, when the starting conditions are in the Schwartz space.
However, I am wondering, whether it is possible to consider just analytic ...
- 749
2
votes
0
answers
120
views
On the integer of the form p^a q^b closest to a given integer N
If we give ourselves a number having only one prime factor $p$ and a given natural integer $N$, we know how to give the integer of the form $p^k$ closest (and less than) to this integer $N$ it's ...
- 69
2
votes
0
answers
174
views
Product of marginals absolutely continuous with respect to a Borel probability measure
Let $\mu$ be a Borel probability measure on $\Bbb{R}^{m+n}=\Bbb{R}^m\times\Bbb{R}^n$. Consider its marginal measures $\mu_1(A):=\mu(A\times\Bbb{R}^n)\, (A\in\mathcal{B}(\Bbb{R}^m))$ and $\mu_2(B):=\mu(...
- 3,599
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,143
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
2
votes
0
answers
41
views
Blow up for certain classes of distributions
Let $\mathbb D$ be the open unit disc centered at the origin and let $u \in H^{-N}(\mathbb D)$ be a distribution for some natural number $N>0$. Suppose that $$u|_{\mathbb D\setminus \{0\}} \in C^{\...
- 4,143
2
votes
0
answers
70
views
A lemma in the application of Lions's concentration compactness pricnciple in Hardy-Littlewood-Sobolev inequality
I'm encountering some problems when reading Lions' paper "the concentration-compactness principle in the calculus of variations. The limit case, Part 2".
The Hardy-Littlewood-Sobolev (HLS) ...
- 121
2
votes
0
answers
216
views
When do these ODE have positive solutions?
Consider the ODE \begin{equation} x'' + q(t) x = 0 \end{equation} in the unit interval $(0,1)$, with a potential function $q(t) = 4\pi^2 - \frac{Ct}{(1 - t)^2}$ depending on a positive constant $C >...
- 5,038
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
2
votes
0
answers
303
views
an upper bound for $L^1$ norm of the mollifier function
The standard mollifier function is defined as follows
$$f(x)=\begin{cases} 0 & \text{if } |x| \ge 1\\ \exp \left(-\cfrac{1}{1-x^2}\right) & \text{if } |x|<1.\end{cases}$$
It is well known ...
- 3,625
2
votes
0
answers
319
views
A (possible) generic spectral property in one dimensional dynamics
Context and Definitions
Consider the interval $I=[0,1]$. We say that $T:I\to I$ satisfies the axiom A (I am following [1]) if:
$T$ has a finite number of hyperbolic periodic attractors; and
defining $...
- 333
2
votes
0
answers
63
views
Evaluation of a certain area
I asked a version of this question on Math Stack Exchange 6 days ago, but without any responses: The area of a certain region
I am interested in evaluating the area of the region defined by
$$A_{L_1, ...
- 26.9k
2
votes
0
answers
325
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
2
votes
0
answers
134
views
Extensions of Euler–Maclaurin formula
There are ways to approximate a sum through integration like the Euler–Maclaurin formula, which requires the function $f(x)$ to be continuous, but there are several ways to extend the formula to ...
- 67
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
2
votes
0
answers
103
views
Schwartz kernel theorem for restricted operators
Let $(M,g)$ be a smooth Riemannian manifold. The celabrated kernel theorem of Schwartz shows that for any linear and continuous operator $A:C_{c}^{\infty}(M)\to C^{\infty}(M)$, there exists a ...
- 1,171
2
votes
0
answers
70
views
Differentiable functions on analytic varieties
Let $\iota\colon X\to \Omega\subseteq \mathbb{C}^n$ be a complex analytic variety $X$ in an open subset $\Omega$ of $\mathbb{C}^n$. If $N$ is a smooth manifold and $h\colon M\to X$ is a continuous map,...
- 513
2
votes
0
answers
73
views
Extremizing the integral part of an integro-differential equation
Consider the problem of finding a continuously twice-differentiable function $x(t)$ which extremizes the convergent improper integral
\begin{equation}
I=\int_{-\infty}^{t} f(x,s)\mathop{ds}
\end{...
- 79
2
votes
0
answers
65
views
Recursive sequence of renewal type : when does one term dominate them all?
Let $(b_n)_{n \geq 0}$ be an increasing sequence of non negative real numbers.
Let $(u_n)_{n \geq 0}$ be recursively defined by $u_0 =1$ and
$$u_{n} = \sum_{k=0}^{n-1} u_{k} b_{n-k}$$
Find a ...
- 468
2
votes
0
answers
128
views
Making a continuous function into embedding by adding additional dimension
While doing my researches, I encountered the following problem.
Let $f:[0,1]^n\rightarrow \mathbb{R}^{n+k}$ be an arbitrary continuous function.
I want to make this function an embedding by perturbing ...
- 173
2
votes
1
answer
288
views
How to estimate an integral by the variation and upper bound of the integrand?
Suppose that $f$ is a continuous function on $\mathbb{R}$. I want to estimate the definite integral
$$ I:= \int_{0}^a [f(x)-f(0)]dx $$
by the upper bound $M = \sup_{x\in[0,a]}|f(x)|$ and the variation ...
- 419
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
2
votes
0
answers
118
views
Inequality for log-likelihood ratio
Let $ p, q $ be two probability densities on $ [0,1] $, strictly positive over $ (0,1) $. Let $ P $ be the cumulative function of $ p $, i.e., $ P(x) = \int_0^x p(x') \, \mathrm{d}x' $, $ x \in [0,1] $...
- 503
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 521
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
2
votes
0
answers
66
views
K functional of $L^{1,\infty}$ and $L^\infty$ real interpolation
I want to know where can I find how to compute, given a function $f$ and $t>0$
$$K(t,f;L^{1,\infty};L^\infty)$$
where $L^{1,\infty}=\sup_{t>0}t f^*(t)$
and $K$ is the Petree K-functional ...
- 21
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
2
votes
0
answers
147
views
"Almost rational" irrational
This is a follow-up to an older question.
Let $r\in \mathbb{R}\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\...
- 48.9k
2
votes
0
answers
75
views
On Dirichlet eigenfunctions of a domain
Given any bounded domain $\Omega\subset \mathbb R^n$, $n\geq 2$, with a Lipschitz boundary, let $\{(\lambda_k,\phi_k)\}_{k\in \mathbb N}$ be the Dirichlet eigenvalues and eigenfunctions of $-\Delta$ ...
- 4,143
2
votes
0
answers
164
views
What is known about "anti polynomials"?
I recently encountered a problem whose solution required solving $f(x):=\sum\alpha_i r_i^x\, =\, c;\ \alpha_i,r_i,x\in\mathbb{R},i\in I\subset\mathbb{N}, $ for $x$.
While the Newton method solves the ...
- 13.2k
2
votes
0
answers
110
views
Real analytic periodic function whose critical points are fully denegerated
I have asked this question on MathStackExchange. My question: is there any non-constant real analytic function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ such that, $$\nabla f(x_0)=0 \Rightarrow \nabla^2 f(...
- 21
2
votes
0
answers
231
views
Where does this trig. identity hold?
Fix an integer $n\geq1$.
QUESTION. Is it possible to find ALL pair of sequences of non-negative integers $(a_k,b_k)$, for $k=1,2,\dots,n$, such that
$$\sum_{k=1}^n \sin^{2a_k}\theta\cdot \cos^{2b_k}\...
- 43.2k
2
votes
0
answers
106
views
Approximating PL homeomorphism by diffeomorphisms in Euclidean space
The question is whether a piecewise function can be approximated by diffeomorphic functions in the following two situations.
I'm not really familiar with these piecewise stuffs. So it may be stupid ...
- 173
2
votes
0
answers
137
views
Sonin inversion formula, equivalence of two solutions of an integral equation
Let me first specify the problem I am facing, and then below explain where it arises. Given a function $f(x)$ on the interval $0<x<1$ and a real number $s\in(-1,1)$ I consider the integral ...
- 188k
2
votes
0
answers
252
views
Power series of the modified Bessel function of the second kind
I am looking for a power series representation of
$$ \frac{1}{K_{\nu}(x)}, $$
where $K_{\nu}$ denotes the modified Bessel function of the second kind and $\nu>-1/2$ is not an integer.
I know that ...
- 83
2
votes
0
answers
94
views
A division of real analytic functions
Problem statement
Let $f,g \in C^\omega(X,\mathbb{R})$ be two real analytic functions over a real Banach space $X$.
Assume that, for every $n \in \mathbb{N}$, there exists $C_n>0$ and $h_n \in C^\...
- 981
2
votes
0
answers
116
views
A technical question concerning convolution product
Let $v\in L^p(\Bbb R^d)$, $1\leq p<\infty$ be nonzero function, i.e., $v\not\equiv 0$.
Define $$u(x)= |v|*\phi(x)= \int_{\Bbb R^d} |v(y)|\phi(x-y)d y$$ with $\phi(x)= ce^{-|x|^2}$ and $c>0$ so ...
- 1,101
2
votes
0
answers
47
views
A function $f_r$ where $f_r (x)$ is defined as the ratio between $f(x)$ and the average value of $f$ over $B(x, r)$
Let $E := \mathbb R^d$. Let $f:E \to \mathbb R_{>0}$ be continuous and integrable. For $r>0$, we define
$$
f_r (x) := \frac{f(x)}{ \frac{1}{|B(x, r)|} \int_{B(x, r)} f(y) \, \mathrm{d} y} \quad \...
- 657
2
votes
0
answers
198
views
Sets and their characteristic functions
There are some nice connections between properties of sets and properties of their characteristic functions.
For instance:
a set $C\subset \mathbb{R}$ is closed (resp. open) IFF the characteristic ...
- 4,359
2
votes
0
answers
182
views
Smooth function supported on a "short" interval whose derivatives are $L^1$ bounded?
Let $P$ be a large number. Let $[a,b]$ be a fixed interval. Is it possible to construct a function $w$ with the following properties?: $w$ is smooth,
the support of $w$ is contained in $I = [a- 1/P, b ...
- 3,625
2
votes
0
answers
111
views
Local behavior around critical points in high dimensions
I have asked this question on math.stackexchange.com but even though I gave a bounty, I was not able to receive any answers at all, so I'm posting it here again, hoping that the question is not too ...
- 429
2
votes
0
answers
201
views
Green function of a 2D exterior domain
Consider solutions of the laplace equation
\begin{equation}
\begin{split}
-\Delta u=f, \ \ u|_{\partial D}=0,
\end{split}
\end{equation}
where the domain $D\subset \mathbb{R}^2$. If $D$ is bounded ...
- 379