All Questions
163 questions
37
votes
4
answers
4k
views
Which differential equations allow for a variational formulation?
Many ODE's and PDE's arising in nature have a variational formulation. An example of what I mean is the following. Classical motions are solutions $q(t)$ to Lagrange's equation
$$
\frac{d}{dt}\frac{\...
- 7,583
18
votes
3
answers
2k
views
Poincare lemma for non-smooth differentiable forms
The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for $C^k$-...
- 16.4k
14
votes
1
answer
830
views
Spectrum of matrix involving quantum harmonic oscillator
The quantum harmonic oscillator relies on two classical objects, the so-called creation and annihilation operator
$$a ^* = x- \partial_x \text{ and }a = x+\partial_x.$$
Fix two numbers $\alpha,\beta \...
- 192
12
votes
2
answers
5k
views
Where was/is Compensated Compactness used?
This last summer, I read up on Tartar's so called Method of Compensated Compactness (or at least how it applied to scalar conservation laws). I used this theory to prove the existence of $L^{\infty}$ ...
- 261
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
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
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 2,243
8
votes
3
answers
1k
views
Are all positive eigenfunctions principal eigenfunctions?
In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$?
Also, more generally, does this also apply for $...
- 421
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
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
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
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
2
answers
3k
views
Arzelà-Ascoli theorem and Hölder spaces
Let $B\subset \mathbb{R}^n$ be a open ball. Let $\{f_i\}$ be a sequence of functions bounded in the Hölder norm $C^{k,\alpha}(B)$ for a given integer $k\geq 0$ and $\alpha\in (0,1)$.
Does there exist ...
- 21.8k
7
votes
3
answers
2k
views
Collections of examples and counterexamples in (real, complex, functional) analysis, ODEs and PDEs
What books collect examples and counterexamples (or also "solved exercises", for some suitable definition of "exercise") in
real analysis,
complex analysis,
functional analysis,
ODEs,
PDEs?
The ...
user60665
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
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
2
answers
519
views
Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)
This question is concerning the paper, particularly the proof of Lemma 2.1 in Section 2.1:
Matas, A., Merker, J. Existence of weak solutions to doubly degenerate diffusion equations, Appl Math 57 (...
- 266
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
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
3
answers
490
views
Continuity with values in L^2
Hi,
let $T>0$, $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain and suppose
$$u\in L^2(0,T;W^{1,2}(\Omega))\cap L^\infty((0,T)\times\Omega))\ \text{and } \partial_tu\in L^2(0,T;W^{-1,2}(\...
- 103
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
1
answer
170
views
Regular Lagrangian flow for "square root example": $\frac{d}{dt} X(t,x) = \sqrt{X(t,x)}$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \sqrt{X(t,x)}, &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
This is the prototype of non-uniqueness ...
- 839
5
votes
1
answer
297
views
A scaled fractional ''Sobolev inequality''
Does a fractional interpolation inequality similar to $$
\int_{B_R(0)} |u| dx \le C R^{2} \sqrt{\log(2R)} \Big( \int_{\mathbb R^2}\int_{\mathbb R^2} \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy + \int_{B_1(...
- 109
5
votes
0
answers
168
views
Sobolev extension from a discrete set of points
Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define
$$...
- 501
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
2
answers
315
views
Is this an $L^p-L^{\infty}$ operator?
Let $1\leq p <\infty$ and let $p^{\prime}$ denote its conjugate exponent. Consider the following operator on Schwartz functions:
$$Tf(x)=\int_{0}^{\infty}t^{\frac{n}{2 p^{\prime}}-1}e^{-t}
\int_{|x-...
- 852
4
votes
2
answers
657
views
Abstract ODE; PDE; uniqueness of solution
I have a somewhat vague question regarding an abstract ODE in a Banach space.
Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other ...
- 539
4
votes
2
answers
2k
views
Inclusions of $C^{k,\alpha}$ spaces
When is $C^{k,\alpha}(\bar{\Omega})$ a
subset of
$C^{k',\alpha'}(\bar{\Omega})$?
Gilbarg and Trudinger says that "for the domains of interest in this work the inclusion will hold whenever $k + \...
- 1,771
4
votes
1
answer
387
views
Asymptotic formula for fractional Laplacian
For the solution of
$$
\begin{cases}
\lambda u^\epsilon - \frac{\epsilon^2}{2} \Delta u^\epsilon = 0 &\text{in } \Omega \\
u^\epsilon=1 & \text{on } \partial \Omega
\end{cases}
$$
Varadhan ...
- 303
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
2
answers
928
views
Rate of convergence of mollifiers // Sobolev norms
Following up to the question raised here, I am searching for a reference (or a simple argument) to establish (in the whole space) the following (suggested) equivalence :
Given $N_1$ and $N_2$ two (...
- 3,425
4
votes
0
answers
174
views
Techniques for showing non-degeneracy results (PDE)
Motivation:
Consider the equation,
$$-\Delta u = u^p$$
in $\mathbb{R}^n$ for $n\geq 3$ and $p=2^*-1.$ Then we know that this equation has unique positive solutions given by functions of the form $U_{a,...
- 537
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
4
votes
0
answers
170
views
Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$
Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user39481
3
votes
2
answers
352
views
General version of Weyl's lemma
The classical Weyl's lemma say, suppose $u \in L^1_{loc}(\Omega)$ satisfies
$$\int_{\Omega}u \Delta \phi dx=0\ \ \forall \phi\in C_c^{\infty}(\Omega),$$
then $u$ is harmonic in $\Omega.$ What I want ...
- 379
3
votes
2
answers
717
views
Existence for ODE in Banach space (accretive operators and Crandall-Liggett)
There is a theory of mild solutions $u \in C^0(0,T;X)$ where $X$ is a Banach space for equations of the form
$$\frac{du}{dt} + Au = f$$
where $A$ is an accretive nonlinear operator under some ...
- 155
3
votes
1
answer
425
views
Regularity of boundary of a level set of a $C^{1,\alpha}$ function
Let $f:\mathbb{R}^2\to\mathbb{R}$ be a $C^{1,\alpha}$ function. Denote $S_C=\{x\in\mathbb{R}^2\mid f(x)=C \}$ the level set of $f$ with value $C$.
What i want to ask is, if $S_C$ is nonempty for some $...
- 379
3
votes
1
answer
453
views
Duality argument
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$Throughout my studying for some papers, in particular, the proof of localized Strichartz estimates, I encountered a use of the ...
- 159
3
votes
1
answer
216
views
Linear transport equation with Lipschitz conditions
Given the equation here, I would like to ask the following relaxed question:
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) = ...
- 124
3
votes
1
answer
213
views
Unique solution of a 1-D ODE with a bounded positive right-hand-side
Consider the initial value problem $$\dot x(t) = F(t,x), \quad t \in (0,T)$$ with given initial datum $$x(0) = x_0 \in \mathbb R.$$ More precisely we consider the integral equation $$x(t)=x(0)+\int_0^...
- 839
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
3
votes
1
answer
370
views
Is Brascamp-Lieb inequality on the sphere applicable for these functions for some $1\leq p<2$
My question is on Brascamp-Lieb-inequality on the Euclidean sphere (which can be viewed as an analogue of Young's inequality on the sphere) obtained in [1].
(See also this question:
Brascamp-Lieb ...
- 852
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