All Questions
173 questions
-1
votes
1
answer
70
views
Is this kind of interpolation correct?
Let $f=\sum f_j$ be a finite sum. Assume that
$$ \|f\|_2\le(\sum\|f_j\|_2^2)^\frac12$$
$$\|f\|_\infty\le C\max_j\|f_j\|_\infty$$
Then can we conclude that for $2<p<\infty$
$$\|f\|_p\le C^{1-\...
- 1
0
votes
4
answers
1k
views
Does the Leibniz (product) rule hold for the spectral fractional Laplacian?
Does the Leibniz (product) rule hold in some sense for the spectral fractional Laplacian (at least in 1 dimension)?
user139845
0
votes
0
answers
55
views
Smooth compactly supported function with good scaling with respect to the fractional Laplacian
Is there a smooth cut off function with compact support such that $\phi: \Omega \subset \mathbb R^N \to \mathbb R$, $\mathrm{supp} \phi \subset B_R(0) \subset \Omega$ and $$(-\Delta)^s \phi \le C R^{-...
user139845
3
votes
1
answer
490
views
Space derivative of flow of ODE with monotone source
Consider the ODE
$$
\begin{cases}
\partial_t\Phi(t,x) = f(t,\Phi(t,x)), &\ t>0, \ x \in \mathbb R \\
\Phi(0,x) = x, & x \in \mathbb R
\end{cases}
$$
where $f$ is function which is a non-...
- 109
5
votes
1
answer
170
views
Ratio of integrals with increasing dimension over Euclidean balls
Let $f_n(x)\geq0$ be any sequence of nonnegative $L^1(\mathbb{R}^n)$ functions such that $\int_{\mathbb{R}^{n}}f_n(x)dx=1$ where $dx$ is the Lebesgue measure on $\mathbb{R}^n$. For any $a>1,\...
- 1,495
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 1,495
4
votes
1
answer
1k
views
Simple proof of Prékopa's Theorem: log-concavity is preserved by marginalization
The following result is well-known:
Suppose that $H(x,y)$ is a log-concave distribution for $(x,y) \in \mathbb R^{m \times n}$ so that by definition we have
$$H \left( (1 - \lambda)(x_1,y_1) + \...
- 536
4
votes
0
answers
99
views
Commuting flows problem for non-Lipschitz vector fields
Let $X$ be a continuous vector field on a (say compact) manifold $M$, if $X$ has ODE uniqueness then we can define its associated flow $\mathcal F_X:\mathbb R\times M\to M$ uniquely given by $\mathcal ...
- 938
4
votes
1
answer
166
views
Compute $ \partial_t\int_{\{u(t,\cdot) >0\} } 1\, dx$ in the sense of distributions where $u$ solves a PDE
Let $u:\Omega\subset \mathbb R^N \to \mathbb R$ be bounded function that solves an evolution PDE $\partial_t u(t,x)= L(u(t,\cdot))(x)$, where $L$ is some elliptic operator.
How can I compute the ...
- 109
3
votes
1
answer
356
views
Initial data and heat equation
We assume all solutions to be bounded here!
Let $y_{+},y_{-} \in C_c^{\infty}$ be two positive functions.
If we then consider the heat equation
$$\partial_t u(t,x) = \Delta u(t,x)$$ for two ...
user121558
2
votes
1
answer
996
views
Derivative and Jacobian determinant of solution of ODE [closed]
Let $\Phi$ be the unique solution of
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}^N
\end{cases}$$
where we have assumed $f$ smooth.
...
user124345
1
vote
1
answer
211
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
- 411
1
vote
3
answers
207
views
Existence of solution to linear fractional equation
We consider the equation
$$ \sum_{j=1}^n \frac{\lambda_j}{x-x_j} =i$$
where $\lambda_j>0$ and $x_j$ are real distinct numbers.
I want to show that if $\lambda_k$ is small compared to the ...
user121558
6
votes
2
answers
1k
views
Properties of heat equation
** I simplified the question: **
On bounded domains, the maximum principle implies that the solution to the heat equation is (strictly) positive, if the initial and boundary data is positive.
I ...
user121558
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user60665
0
votes
0
answers
113
views
Conditions for the embedding of the space $L^\infty(I, W^{1,2}(U))$ into $L^\infty(I \times U)$
Let $I$ be a compact interval of $\mathbb{R}$ and $U$ be a bounded subset of $\mathbb{R}^2$.
If $f \in L^\infty(I, W^{1,2}(U))$, what (non-trivial) condition ($L^p$-estimate on $f$ or decay-like ...
user123457
2
votes
1
answer
300
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
- 536
4
votes
1
answer
145
views
Power series in functions other than monomials
I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...
- 536
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user127612
7
votes
2
answers
682
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
user127612
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$" by Colliander, Keel, Staffilani, Takaoka and Tao it is argued in the beginning ...
user127411
11
votes
2
answers
478
views
$x f'$ bounded by $x^2f $ and $f''$?
Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
- 177
2
votes
1
answer
93
views
Lipschitz bound on semigroups
Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator.
Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$
Now if you think about ...
1
vote
0
answers
237
views
On the bound of the Stein-Wainger oscillatory integral
Let $\lambda\in \mathbb{R}$, $\phi\in C^\infty(\mathbb{R})$. We define the Stein-Wainger oscillatory integral by
$$I=p.v.\int_\mathbb{R} e^{i\lambda\phi(t)}\frac{dt}{t}.$$
Stein-Wainger [1] showed ...
- 11
0
votes
2
answers
387
views
Derivative of fractional Laplacian is the fractional Laplacian of the derivative
Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x
u(x))?$$
user104647
8
votes
1
answer
380
views
Lavrentiev phenomenon between $C^1$ and Lipschitz
Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere)
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that
$$
\inf_{y\in Lip([a,b])}F(y)<\inf_{...
- 1,309
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
-1
votes
1
answer
136
views
An elementary question about integration by parts! [closed]
Let $f,g: R \rightarrow R$ be two positive increasing functions. Under what (non-trivial) conditions one can guarantee that $\int_{0}^{\infty}f'g dx\geq \int_{0}^{\infty}g'fdx$.
4
votes
0
answers
125
views
Properties of solution to Schrödinger equation
Given a Schrödinger equation with, let's say continuous, periodic potential
$$-y''(x)+V(x)y(x)=\lambda y(x)$$
where $V(x+1)=V(x)$ and $V$ is even, i.e. for $x \in (0,\frac{1}{2})$ we have $V(x+\frac{...
- 501
0
votes
1
answer
218
views
Heat semigroup dissipative
Consider the heat semigroup on $L^1(\mathbb{R}).$ I would like to know if the generator of this semigroup is dissipative in the sense of this definition.
On $L^2$ it would be completely trivial, but ...
- 167
0
votes
1
answer
185
views
Meromorphic solutions to Legendre's equation
I just saw the following question that was asked yesterday on math overflow on meromorphic solutions to ODEs
Although, I understand the answers and comments to the questions, I did not understand how ...
- 501
2
votes
2
answers
258
views
Meromorphic extension of solutions to ODEs
I encountered the following question in my studies:
Let us assume we have a real anlaytic solution to an ODE on $\mathbb{R}$ of Schr\"odinger type
$-\psi''(x)+V(x)\psi(x)=\lambda \psi(x)$
but we ...
- 167
3
votes
1
answer
148
views
Prove existence of continuous function on $(0,1)$ with special properties [closed]
Consider the interval $I=(0,1)$ and let $f,g$ be two linearly independent continuous functions on $[0,1]$.
I am asking if there is a continuous function $h$ such that
$$\int_0^1 h(s) f(s) ds=0$$
$$...
- 501
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 329
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user89890
8
votes
2
answers
1k
views
The continuous Taylor series; are they just Taylor series?
I first posed this question when I was a first year student. I came up with some ad hoc arguments as to why the result is true (a bit of numerical experimentation), but never had a proof. I forgot ...
user78249
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 291
15
votes
3
answers
2k
views
Asymptotic expansion of $\sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$
I've been trying to find an asymptotic expansion of the following series
$$C(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$$
and
$$L(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{...
- 153
3
votes
0
answers
177
views
Interesting stipulation about completely monotone functions
This question relates to a question I asked here. I thought of a well thought out generalization which appears to follow in the situations I've encountered it. I tried to generalize the answer ...
user78249
6
votes
3
answers
1k
views
Orthonormal basis in $W^{1,2}([0,1])$
Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
- 63
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
- 305
2
votes
0
answers
139
views
Existence of solution of a variational inequality
Let $K\subseteq \mathbb{R} ^n$ be closed and convex, and let $F:K \to \mathbb R^n $ be a continuous function. If for every $x,y \in K$ we have $$(x-y)^T(F(x)-F(y))\ge \alpha ||x-y||^2 \, ;\quad \...
- 21
5
votes
2
answers
1k
views
Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
- 3,574
1
vote
0
answers
105
views
compactness of sequence of harmonic functions
Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$).
...
- 1,385
2
votes
0
answers
185
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171
1
vote
0
answers
86
views
Least restrictive condition such that $-y''(x)+q(x)y(x)=\lambda y(x)$ has two solutions
Let $\lambda \in \mathbb{R}$ and consider some function $q$ on the interval $[0,1].$
What is known to be the least restrictive condition on $q$ such that there are two linearly independent $H^2$ ...
- 11
15
votes
2
answers
680
views
Are Fourier transforms of L^p stable under diffeomorphisms?
Let $\xi$ be a compactly supported distribution on $\mathbb R^n$ and assume that its Fourier transform is in $L^p$. Let $\phi:\mathbb R^n\to\mathbb R^n$ be a diffeomorphism. Does the Fourier ...
- 2,639
-1
votes
1
answer
227
views
Solving the integral identity $ \int_{a}^{b} f(x)dx = \int_{a}^{b} f(x)g(x)dx. $ [closed]
We know that 0 is the additive identity and 1 is the multiplicative identity. In the same spirit let us define the integral identity as follows.
Definition: Let $f(x)$ be integrable in $(a,b)$. If ...
- 5,470
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
- 445