All Questions
Tagged with fa.functional-analysis ca.classical-analysis-and-odes
524 questions
4
votes
1
answer
210
views
On some convergence theorems by Felix E. Browder (1967)
I have been reading Felix E. Browder's Convergence Theorems for Sequence of Nonlinear Operators in Banach Space and I was hoping I could find answers to a couple of questions I have about the paper. ...
- 6,367
1
vote
2
answers
155
views
Construct suitable cutoff function
Let $\bar x \in \mathbb R$. Is there a cut-off function such that $\phi_\epsilon \in C^\infty(\mathbb R)$, $0 \le \phi \le 1$, and
$$\phi_\epsilon(x) = \begin{cases}
1 &\text{ if } |x - \bar x| \...
- 5,038
1
vote
1
answer
338
views
Does the Implicit Function Theorem in Banach spaces holds if the differential is only one-to-one (not onto!)?
Is the Implicit Function Theorem in the following form correct:
Let $V_1,V_2,W$ be Banach spaces, and $Ω⊂V_1×V_2$ an open subset containing $(x_0,y_0)$. Let consider a continuously differentiable map $...
- 3,584
0
votes
1
answer
162
views
Iterated integrations by parts using the fractional Laplacian
Let $u \in C^\infty_c(\mathbb{\Omega})$ and $\varphi$ be an eigenfunction of the fractional Laplacian $(-\Delta)^s$ in $\Omega$ with eigenvalue $\lambda$. In what sense, if any, is it true that
$$\...
- 17.2k
3
votes
1
answer
621
views
Strong convexity inequality w.r.t. infinity norm $\lVert\cdot\rVert_{\infty}$
Consider a twice differentiable 1-strongly convex function $f:\mathbb{R}^n \to \mathbb{R}$.
Is it true that there exists $\alpha>0$ independent of $n$ such that, for all $x \in \mathbb{R}^n$:
\...
- 12.9k
5
votes
1
answer
492
views
Modulus of continuity of flow for non-Lipschitz vector fields satisfies Osgood condition
An Osgood modulus of continuity is an increasing function $\omega:(0,1]\to(0,1]$ such that $\int_0^1\frac{dt}{\omega(t)}=\infty$.
We say a vector field $X$ satisfies Osgood condition with modulus $\...
- 1
1
vote
1
answer
134
views
If $f \circ u \in BV$ and $f$ is strictly monotone, then is $u \in BV$?
Let $f: \mathbb R \to \mathbb R$ be a Lipschitz strictly monotone (so, in particular, invertible) function. Let $u: \mathbb R \to \mathbb R$. If $f \circ u \in BV$ can we conclude that $u \in BV$?
- 128k
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
1
vote
1
answer
182
views
Proving an estimate for the Neumann problem on $\mathbb{R}^3 \setminus B_1$ in Weighted Sobolev spaces
Let $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
It is known that for every $g \in H^{\frac{1}{2}} (\partial M)$, and for an appropriate $\delta$, there exists a unique solution $u$ ...
- 46
2
votes
0
answers
84
views
Method of characteristics and explicit formula for an IBVP for the transport equation
Let us assume $c:(0,1) \to (\epsilon,+\infty)$ and consider the PDE
$$
\begin{cases}
u_t+c(x)u_x = 0, \\
u(0,x) = g(x) \\
u(t,0) = f(t)
\end{cases} \qquad (t,x) \in (0,T)\times(0,1) \label{1}\tag{$\...
- 6,367
2
votes
0
answers
225
views
Sobolev (Triebel-Lizorkin) norm estimate for $F \circ u - F \circ v$
Let $F \in C^1(\mathbb R^d;\mathbb R)$ be such that $F(0) = 0$ and
$$|F'(\tau v + (1 - \tau)w)| \leq \mu(\tau)(G(v) + G(w))$$
for some $\mu \in L^1([0,1])$ and some non-negative $G \in C^0(\mathbb R^d;...
- 233
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 \...
- 188k
0
votes
1
answer
417
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
- 34.7k
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 ...
- 28k
12
votes
1
answer
727
views
A generalization of Rubio de Francia's inequality
Suppose that $\{I_m\}$ is a sequence of pairwise disjoint intervals in $\mathbb{Z}$. The well known Rubio de Francia's inequality says that for any function $f\in L^p(\mathbb{T})$, $2\le p<\infty$, ...
- 114k
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) = ...
- 12.5k
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 ...
- 128k
2
votes
0
answers
176
views
Uniqueness for measure valued ode
Morning! Basically I'm working on a mean field scaling for some measure valued process (valued on $M_F(\mathbb{N})$). The limit turns up as a (deterministic) solution to a measure valued ODE. Let's ...
3
votes
1
answer
264
views
How to prove that this one-parameter family of distributions converges to the Dirac measure?
While trying to understand a proof in a paper, I came upon the following a calculation needing the following identity:
$$\lim_{t\to 0} \int_{-\infty}^\infty \left(e^{-\log(4\pi i t)/2} e^{ik^2/4t} -\...
- 39k
2
votes
0
answers
65
views
On a question relating integral equation:
I don't know if the following question qualifies as research level. If it isn't, sorry.
Set the following terminology:
$ \alpha_1 =\alpha_1(t,x)=t(\tan^{-1}(x)+c)$
$\alpha_2=\alpha_2(s,x)=s(\tan^{-1}(...
- 41
2
votes
0
answers
162
views
$\int_{\mathbb{R}^{N}\setminus\Omega}\vert x-z\vert^{-N-\alpha} dz = c \ \forall x\in\partial U$ implies $dist(x,\partial\Omega)=c, x \in \partial U$?
Let $\alpha \in \mathbb R_+$, $\Omega \subset \mathbb R^N$ and $U \subset \Omega$. Is it true that if
$$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-\alpha} dz = \text{constant} \quad \text{for all ...
- 303
1
vote
0
answers
72
views
Initial-boundary value problem for transport equation with $W^{1,p}$ velocity
Let us consider $v:\mathbb R_+ \times \mathbb R \to \mathbb R_+$ such that $v \in L^1(0,\infty, W^{1,p}(\mathbb R))$ and the transport equation
$$ \begin{cases}
u_t + v(t,x) u_x = 0 \qquad & (...
- 61
3
votes
2
answers
324
views
An integral transform and the Stone-Weierstrass theorem
For a bounded function $\operatorname{F}: \mathbb{R}_{\,\ge\ 0} \to \mathbb{R}$ (not necessarily non-negative), if
$$
\int_{0}^{\infty}\frac{x^{k}\,s}{(s^{2} + x^{2})^{\left(k + 3\right)/2}\,\,}\, \...
- 17.2k
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
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 ...
- 17.2k
7
votes
2
answers
1k
views
Energy levels of double well potential
Consider the (quantum) Hamiltonian on the real line
$$H=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+V(x).$$
Let us assume that the potential $V$ is an even smooth functions with exactly two non-degenerate ...
- 188k
6
votes
1
answer
365
views
Is the Besov space $B_{\infty,1}^0(\mathbb{R}^d)$ a multiplication algebra?
Let $s\in\mathbb{R}$ and $1\leq p,q\leq\infty$. Consider the Besov scale of spaces $B_{p,q}^s(\mathbb{R}^d)$ defined by the norm
$$\|f\|_{B_{p,q}^s} := (\sum_{j=0}^\infty \|P_{j} f\|_{L^p}^q)^{1/q},$$
...
- 39k
3
votes
1
answer
791
views
Real part of eigenvalues and Laplacian
I am working on imaging and I am a bit puzzled by the behaviour of this matrix:
$$A:=\left(
\begin{array}{cccccc}
1 & 0 & 0 & -1 & 0 & 0 \\
0 & 0 & 0 & 0 & -1 &...
CommunityBot
- 1
1
vote
1
answer
122
views
Existence and uniqueness for the equation $u_t + \nabla |u| = 0$
How does one prove the existence, uniqueness, and regularity for the equation
$$u_t + \nabla_x |u| = 0 $$
with initial data $u(0,x) = u_0(x)$ and where the unknown function is $u:\mathbb (0,\infty)\...
- 39k
2
votes
0
answers
162
views
Explicit computation of a norm in context of operator-semigroups and differential equations
I am interested in the explicit calculation of the following norm $\vert \cdot \vert$.
Let $X$ a Banach space with norm $\Vert \cdot \Vert$ and $(T(t))_{t \geq 0}$ a strongly continuous one-parameter ...
- 185
1
vote
0
answers
94
views
Obtaining identity from Pokhozhaev formula
From the classical Pokhozhaev formula, how can I obtain that the following identity holds for $u,v \in C^2(\bar \Omega)$?
$$
\int_\Omega (\Delta u(x,\nabla v) + \Delta v(x,\nabla v)) dx = \int_{\...
- 217
0
votes
1
answer
116
views
Fractional Laplacian and support
Let $u:\mathbb [-1,1] \to \mathbb R$ such that $\mathrm{supp}(u) \subset B_{1/2}(0)$. Under what assumptions on $u$ does it hold $$\mathrm{supp}\Big((-\Delta)^s u\Big) \subset B_{1/2}(0),$$
where $(-\...
- 17.2k
0
votes
0
answers
239
views
Fractional Laplacian for the product of two functions
Considering the following definition for the fractional Laplacian
\begin{eqnarray}
\label{pointwisedef} (-\Delta)^{s}u(x) & : = & \mathrm{ \mbox{p. v}} \quad a_{d,s} \int_{\mathbb{R}^d}\frac{...
2
votes
0
answers
175
views
Boundary terms in integration by parts for the fractional Laplacian
Let $u,v \in C^\infty(\Omega)$ and assume that $v$ is compactly supported inside a domain $\Omega$.
Is it true that
$$
\int_\Omega v (-\Delta)^su \, d x = \int_\Omega (-\Delta)^{s/2}v(-\Delta)^{s/2}u \...
- 99
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)?
- 3,065
1
vote
0
answers
257
views
Cut-off function and fractional Laplacian
Is there a smooth function $u$ such that $u = 1$ in $B_r(0)$, $u=0$ in $\mathbb R^N \setminus B_{2r}(0)$, and
$$
|\nabla u| \le Cr^{-1}, \quad |\Delta u |\le Cr^{-2}, \quad |(-\Delta)^s| u \le Cr^{-2s}...
- 99
0
votes
0
answers
53
views
Explicit computation related to the fractional Laplacian
Suppose $$c_{n,s}\int_{\mathbb R^n}\int_{\mathbb R^n} \frac{(u(x+y+z)-u(x+y)-u(x+z)-u(x))^2}{|y|^{n+2s}|z|^{n+2s}} dydz = C$$
for some constants $c_{n,s}$, $C$, and $s \in (0,1)$.
Is it true that $$u =...
- 161
2
votes
0
answers
162
views
Bochner's formula for fractional Laplacian
Is there an analogue of the classical Bochner formula
$\frac{1}{2} \Delta |\nabla u|^2 = |\nabla^2 u|^2$ for harmonic functions that holds for $s$-harmonic functions?
- 161
1
vote
1
answer
133
views
Integrability of fractional heat kernel
In Estimates of fractional heat kernel, it was stated that $$ \partial_{x_j} p_t^{(n)}(x) = -\frac{x_j}{2 \pi} \, p_t^{(n+2)}(\tilde x) $$
where $x = (x_1, \ldots, x_n) \in \mathbb R^n$, $\tilde x = (...
- 17.2k
0
votes
0
answers
153
views
Spectral fractional Laplacian of power-function $(-\Delta)^s x^{\alpha}$ in $(0,1) \subset \mathbb R$
How can one compute the Neumann spectral fractional Laplacian of power function, $(-\Delta)^s x^{\alpha}$, with $\alpha >0$, in an interval $(0,1)$. I'm only aware of the formula in the whole space....
- 99
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
1
vote
0
answers
144
views
Liouville theorem for elliptic equation with advection term
How can one prove that any $L^2$ solution of
$$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$
is zero if $a(x)$ is a divergence-free vector field such that
$\int |\...
- 99
1
vote
1
answer
195
views
Existence and regularity for fractional elliptic problem with gradient term: $ (-\Delta)^s u + v\cdot \nabla u = 0$ with $v \in \dot H^s$
Let us consider the problem
$$ (-\Delta)^s u + v\cdot \nabla u = 0 \quad \text{ in } \mathbb R^n, $$
where $s \in (0,1)$, $(-\Delta)^s$ is the fractional Laplace operator and
$v:\mathbb R^n \to \...
- 99
1
vote
0
answers
130
views
Fractional Sobolev embedding theorem
Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds
$$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
- 99
2
votes
0
answers
71
views
Example of BV vector field $c$ without bounded divergence such that $u$ is bounded where $u_t + div(cu) = 0$
What is an example of vector field $c: \mathbb R_+ \times \mathbb R^N \to \mathbb R^N$ with $c \in L^1(\mathbb{R}_+, BV(\mathbb R^N))$ without bounded divergence $div_x c$ but such that there exists a ...
CommunityBot
- 1
-1
votes
1
answer
102
views
Is it true that $\nabla_x \int_0^\infty f(t,0) dt = 0 \implies \nabla_x f(t,0) = 0 \ \forall t>0$? [closed]
Let $f:\mathbb R_+ \times \mathbb R^N \to \mathbb R$ and $$F(x) = \int_0^\infty f(t,x) dt.$$ If $\nabla_x F(0) = 0$ do we have that $\nabla_x f(t,0) = 0$ for all $t \in \mathbb R_+$? If not, which ...
- 188k
0
votes
1
answer
325
views
Domain of the fractional Laplacian operator
If $u:\mathbb R^n \to \mathbb R$ satisfies $$\int_{\mathbb R^n}\int_{\mathbb R^n}\frac{|u(x)-u(y)|^2}{|x-y|^{n+2s}} dxdy < \infty,$$
but $u$ is not in $L^2(\mathbb R^n)$, is $(-\Delta)^su$ well-...
- 16.2k
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(...
- 61.9k
0
votes
1
answer
120
views
Density property fractional heat kernel
Let us consider $$p_t^{(n+2)}(\tilde x) , $$
where $x = (x_1, \ldots, x_n) \in \mathbb R^n$, $\tilde x = (x_1, \ldots, x_n, 0, 0) \in \mathbb R^{n+2}$, and $p_t^{(n)}(x)$ is the heat kernel for $(-\...
- 17.2k
0
votes
1
answer
236
views
Estimate on total variation of composition of functions
Let $f \in BV(\mathbb R)$ and $g: \mathbb R \to \mathbb R$ be Lipschitz. How can I estimate the total variation of $f\circ g$, that is
$$
\int_{\mathbb R} \left|\frac{d}{dx}f(g(x))\right| dx \ ?
$$
...
- 23.2k