All Questions
173 questions
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 505
21
votes
1
answer
3k
views
Density of polynomials in $C^k(\overline\Omega)$
Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
- 4,034
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
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
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 4,466
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
11
votes
2
answers
758
views
Prove/disprove $(\int_{0}^{2 \pi} \!\!\cos f(x) d x)^{2}+(\int_{0}^{2 \pi}\!\!\! \sqrt{(f'(x))^{2}+\sin ^{2} f(x)}dx)^{2}\ge 4\pi^{2}$
This problem has been posted on Math.SE but didn't receive any correct answer after a long time.
Let $f(x)$ be a differentiable function on $[0,2\pi]$ s.t. $0\leq f(x)\leq 2\pi$ and $f(0)=f(2\pi)$. ...
- 302
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
9
votes
1
answer
621
views
Uniqueness of solutions of Young differential equations
Consider the following one dimensional Young differential equation:
\begin{align*}
&Y_t=\int_0^t Y_s dX_s,\quad t\in[0,1];\\
&Y_0=0.
\end{align*}
Here the driving process $X$ is a bounded ...
- 931
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
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
7
votes
3
answers
2k
views
A question on fractional derivatives
I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...
user168611
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
7
votes
1
answer
545
views
Explicit isomorphism between $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$?
As Hilbert spaces, $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$ are isomorphic. Of course the isomoprhism is vastly not unique. I wonder if there are any particularly nice explicit isomorphisms. E.g. I ...
- 679
7
votes
1
answer
185
views
Question on ODE involving mollifiers from Taylor's book on PDEs
In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form
$$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$
with some initial condition $u(...
- 1,171
7
votes
1
answer
414
views
Criteria for operators to have infinitely many eigenvalues
Normal compact linear operators on Hilbert spaces have infinitely many (counting multiplicities) eigenvalues by the spectral theorem.
For non-normal operators this no longer has to be true.
There ...
- 536
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
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
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
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
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
6
votes
1
answer
376
views
Lavrentiev phenomenon between $C^1$ and $C^2$
Does there exist a (onedimensional) functional that exhibits the Lavrentiev phenomenon between $C^1$ and $C^2$ that is
$$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt \quad\text{or possibly}\quad F(y)=\int_a^b f(...
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
5
votes
2
answers
2k
views
Elementary calculus estimate or not?
Does there exist a constant $C>0$ such that for all $f \in H^3(\mathbb R)$
$$\int_{\mathbb R} \vert x f''(x) \vert^2 \ dx \le C \int_{\mathbb R} \vert f'''(x) \vert^2 + \vert x^3f(x) \vert^2 + \...
user69109
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
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
5
votes
2
answers
707
views
Approximation of Hölder continuous functions "from below"
We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1]$ with $f(0)=0$.
I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\...
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 124
5
votes
2
answers
699
views
Ground state for non-linear Schrödinger
When studying the blow-up for focusing non-linear Schrödinger equation (NLS) one often compares the initial-state to a stationary solution.
In the energy-critical case, this stationary solution is ...
- 536
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
5
votes
2
answers
459
views
Backward heat equation and forward perturbed heat equation well posed?
I consider the following scenario. Let $I$ be a compact interval in space and $f$ a nice function in the space $C^{\infty}(I)$. In the following we consider a self-adjoint realization of our operators ...
- 536
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
- 749
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
5
votes
2
answers
134
views
Prove that $K \ast f \in W^{1,\infty}(\mathbb R)$ if $K \in BV(\mathbb R)$
Let $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$. Do these assumptions suffice to prove that for the convolution $K \ast f$ we have that $$K \ast f \in W^{1,\infty}(\mathbb R)$$ ...
- 131
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
5
votes
1
answer
151
views
On existence of a concave function
Let $a$ be a strictly positive $C^\infty$ smooth function on the unit interval. Does there exist a strictly positive $C^\infty$ smooth function $f$ on $I$ such that
$$ f’’(x) \leq 0\quad \text{and} \...
- 4,135
5
votes
1
answer
187
views
Getting out a system of linear ODEs by knowing the Magnus expansion
Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
$$Y(t_1)...
- 749
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
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 192
4
votes
2
answers
261
views
A convexity question
Let $Q=[0,1]\times[0,1]$ and let $a$ be a positive smooth function on $Q$. Does there exist a smooth positive function $u$ On $Q$ such that there holds
$$ \frac{\partial^2}{\partial x_1^2}u <0 $$
...
- 4,135
4
votes
1
answer
390
views
Existence of periodic solution to ODE
We shall consider the matrix-valued differential operator
$$(L u)(x) :=u'(x) - \begin{pmatrix} 0 & \sin(2\pi x-\frac{\pi}{6})\\ - 2\sin(2\pi x+\frac{\pi}{6}) & 0 \end{pmatrix} u(x).$$
This is ...
- 192
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
1
answer
555
views
Construct smooth functions with prescribed derivatives
To be specific, suppose we are given a sequence of smooth functions $\{f_k\}_{k\geq 0}$ on flat torus $\mathbf{T}^2$(you may think of it as doubly periodic functions on $\mathbf{R}^2$ and smooth).
...
- 151
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
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
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
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
4
votes
0
answers
188
views
Evaluate a multiple integral
I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) dr_1\...
- 41