All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
1
vote
0
answers
33
views
Limiting absorption principle for higher powers of resolvents
Let $H$, $A$ be self-adjoint operators on a Hilbert space. Moreover, let $I$ be a bounded open interval contained in the spectrum of $H$. Assume that $H$,$A$ satisfy the following positive commutator ...
1
vote
0
answers
48
views
Question about higher order mean field equation $\left(-\Delta_{g}\right)^{m} u+\lambda=\lambda \frac{e^{2 m u}}{\int_{M} e^{2 m u} d \mu_{g}}$
I'm reading Dr.Luca Martinazzi's paper
Existence of solutions to a higher dimensional
mean-field equation on manifolds
which proves that for $m \geq 1$, there is an existence result for the equation
$$...
1
vote
0
answers
152
views
Poisson Kernel and solution formula for fractional elliptic problem
$$
k (-\Delta)^s u + u = 0, \qquad x \in U, \\
u(x) = f(x), \qquad x \in \mathbb R^n \setminus U,
$$
with $f \in L^\infty(\mathbb R^n)$, $k>0$, and $(-\Delta)^s$ is the singular integral ...
1
vote
0
answers
596
views
What is $T T^*$ argument?
During my studying of many papers, some authors used what so-called $T T^*$ argument. I have no clue about this concept (or mathematical tool). Could you please enlighten me with some explanations or/...
1
vote
0
answers
57
views
How to show the solution map of NLS is not smooth?
Let $u(\delta, t)$ satisfy
$$iu_t +\Delta u+ |u|^{2k}u=0, \quad u(0)=\delta v_0$$
Note that the mapping:
$$\delta v_0\mapsto u(\delta, t)= S(t)(\delta v_0)-i\int_0^tS(t-\tau)(|u|^{2k}u)(\tau)d\tau $$
...
1
vote
0
answers
93
views
$H^s$ norm of dispersive semigroup
The Bourgain space is $X^{s,b} := X^{s,b}(\mathbb R \times \mathbb{T}^3)$ is the completion of $C^\infty (\mathbb R; H^s(\mathbb{T}^3))$ under the norm
$$\| u\|_{X^{s,b}}:= \|e^{- i t \triangle} u(t,x)...
1
vote
0
answers
74
views
Reference request: normal trace and the conormal derivative associated to the operator $Div (A \nabla)$ for a symmetric positive definite $A$
Let $A$ be a $3\times 3$ symmetric positive definite matrix. I am looking for a reference where I could find in which sense the normal trace $\gamma$ and conormal derivative $\gamma_n$ associated to ...
1
vote
0
answers
177
views
Eigenvalues and eigenvectors of non-symmetric elliptic operators
We know that the operator $A=\Delta$ with domain $D(A)=\{u\in W^{2, 2}(\Omega): u=0 \ \ \text{on } \partial\Omega\}$ (say $\Omega$ is a bounded nice domain) has eigenvalues $\lambda_1>\lambda_2\ge \...
1
vote
0
answers
79
views
Reference for smoothness of Nemytskii operator on fractional Sobolev spaces
Let $\varphi:\mathbb{R}\to\mathbb{R}$ be smooth and bounded (together with all of its derivatives). Define the operator
$$
\big(N_\varphi x\big)(t)=\varphi\big(x(t)\big)
$$
for $x\in H^s(T^d)$, the ...
1
vote
0
answers
96
views
BV estimate for conservation law $u_t +( v(x)f(u))_x=0$
Let $u_0 \in BV(\mathbb R)$ and $f:\mathbb R \to \mathbb R$ be Lipschitz. Consider the Cauchy problem
$$
\begin{align*}
u_t +( v(x)f(u))_x&=0\\
u(0,\cdot) &= u_0
\end{align*}
$$
What is the ...
1
vote
0
answers
126
views
Estimates for the Benjamin-Ono equation
Consider the Cauchy problem for the Benjamin-Ono equation
$$u_t + \frac{1}{2}(u^2)_x + \alpha \mathcal H(u_{xx}) - \beta u_{xx} = 0, \qquad t>0, \ x \in \mathbb R,$$
where $\mathcal H$ is the ...
1
vote
0
answers
260
views
Closure of smooth functions in Besov spaces
For real numbers $\alpha > \beta$, we know there is a continuous embedding of Besov spaces $B^\alpha_{\infty,\infty}\subset B^\beta_{\infty,\infty}$. We take the closure of the intersection $C^{\...
1
vote
0
answers
127
views
Laplacian on the sphere and Moving Plane method
Consider the sphere $\mathbb{S}^n$ as a subset of $\mathbb{R}^{n+1}$, thus $\mathbb{S}^n=\{\omega\in \mathbb{R}^{n+1},\sum_{i=1}^{n+1}\omega_i^2=1\}.$
I am interested in studying positive solutions to ...
1
vote
0
answers
95
views
Existence of $C^{2, \alpha}$ solution to $a^{ij}(x,u,Du)D_{ij}u+b(x,u,Du)=0$ using the Leray–Schauder theorem in "Elliptic PDE" of Q. Han & F. Lin
In this part of the book "Elliptic PDE" of Qing Han & Fanghua Lin, the Leray–Schauder existence theorem is applied to prove the existence of $C^{2, \alpha}(\bar{\Omega})$ solution.
For $\...
1
vote
0
answers
131
views
Results on the eigenspace of weighted elliptic eigenvalue problems
I am considering the following eigenvalue problem in $\Omega=\mathbb{R}^n_+$
$$-\operatorname{div}(a(x)\nabla \varphi) = \lambda a(x)w(x)\varphi$$
where the weights $a>0$ and $w\in L^{\infty}$ (and ...
1
vote
1
answer
141
views
Averaging and fractional Laplacian
Let $u,\phi:\mathbb R \to \mathbb R$ be smooth functions and $\Omega_\epsilon$ be a bounded domain in $\mathbb R$ with diameter $\epsilon>0$ (consider for exaple the ball $B_{\epsilon/2}(0)$). Is ...
1
vote
0
answers
299
views
Is there a generalization of the Agmon-Douglis-Nirenberg regularity theorem for elliptic equations to domains with corners?
The Agmon-Douglis-Nirenberg theorem(s) state(s) that whenever $f\in W^{m,p}(\Omega)$ where $\Omega$ is a bounded open set of class $C^{m+2}$, then there is a unique solution $u\in W^{m+2,p}(\Omega)$ ...
1
vote
0
answers
103
views
Regularity results for non uniform elliptic equation
I have seen some regularity result for ellptic PDE but all of them consist of uniform elliptic one. For instance,
$$\nabla \cdot (\gamma(x) \nabla u)=F \text{ in } \Omega\qquad u=\phi \text{ on }\...
1
vote
0
answers
251
views
Regularity of a Fokker-Planck PDE with unbounded coefficient
Let $A$ be a positive definite symmetric matrix, let $b\in C^1(\mathbb R^d\!\times\!(0,\infty))\cap C(\mathbb R^d\!\times\![0,\infty))$ taking values in $\mathbb R^d$. Consider the parabolic PDE
$$ \...
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 & (...
1
vote
0
answers
105
views
Derivative and Green function of Fractional Laplacian in a bounded domain: $(-\Delta)^s\nabla_x G(\bar x,z) = 0 \text{ in } \Omega $?
Let $G$ be the Green function of the Fractional Laplacian $(-\Delta)^s$ in a domain $\Omega$ (which is known explicitly for the special case of the ball: link). Let $\bar x \in \Omega$ be fixed. Does ...
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_{\...
1
vote
0
answers
224
views
Is this mixed-Sobolev interpolation inequality valid?
By $L^p_T\dot H^s$ I mean the space $L^p([0, T] \to \dot H^s)$ where as usual
$$\|u\|_{\dot H^s}^2 = \int_{\mathbb R^d} |\hat u(\xi)|^2 |\xi|^{2s} ~d\xi.$$
Of course, we can interpolate in the time ...
1
vote
0
answers
258
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}...
1
vote
0
answers
36
views
Existence and uniqueness for fractional parabolic equation with transport term
Let us consider the problem
\begin{equation}
\begin{cases}
u_t+(-\Delta)^{\sigma}u+\mathrm{div}(a(t,x)u) = 0 & \text{in } \mathbb{R}^n \times [0, T) \\
u(x,0)=u_0(x) & \text{in } \...
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 |\...
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_{...
1
vote
0
answers
122
views
Series and solution of $-\Delta u + \lambda u = f(x)$
Consider a bounded smooth set $\Omega \subset \mathbb R^n$ (for example, we can take a ball). Can we write down the solution of
\begin{align*}
-\Delta u(x) + \lambda u(x) &= f(x), & x \in \...
1
vote
0
answers
42
views
On the boundary integral of Neumann eigenfunctions
Let $v$ be an eigenfunction corresponding to the first nonzero Neumann Laplacian eigenvalue on a domain $\Omega \subset \mathbb{R}^2$. By definition, we know that $\int_{\Omega} v \, dx=0$. If $\Omega$...
1
vote
0
answers
40
views
Various definitions of weak solutions and continuity property
For example, consider the transport equation
$$
\partial_tu+b\cdot\partial_xu=0, u(0,x)=u_0(x),
$$
where $t\ge0,x\in\mathbb{R}^3$, $b\in W^{1,1}_{\rm{loc}}([0,\infty)\times\mathbb{R}^3)$.
It seems ...
1
vote
0
answers
81
views
Compact imbedding for weight space
We begin with some definitions. Let $\gamma \geqslant 1,\,p \in \left[ {1,\infty } \right)$, we define
$$L_\gamma ^p\left( {0,1} \right) = \left\{ {v:\left( {0,1} \right) \to \mathbb{R}:{{\left\| v \...
1
vote
0
answers
119
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
1
vote
0
answers
42
views
Energy estimate for $\theta_t + H(\theta)_x = 0$ in $t>0, x >0$?
Consider the IBVP for $$\theta_t + H(\theta)_x = 0, \qquad t>0, \ x>0$$ with $$H(\theta) = \frac{1}{\pi} \text{pv}\int_{0}^\infty \frac{\theta(y)}{y-x} dy$$
with Dirichlet boundary conditions. ...
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
1
vote
0
answers
213
views
Fractional Laplacian extension problem and uniqueness question
I am studying the article "An Extension Problem Related to the Fractional Laplacian" by L. Caffarelli and L. Silvestre. Consider the following problem:
$$ \Delta_xu+\frac{a}{y}u_y+u_{yy}=0, $...
1
vote
0
answers
88
views
Reference request: PDE of the form $(\Delta - |u|^2)f = F(u)$
I am interested in equations of the form
$$(\Delta -|u|^2)f = F(u)$$
where $F$ depends on $u$ and preferably on its derivative, too. $u$ is supposed to be given and $f$ the unknown. More precisely I ...
1
vote
0
answers
66
views
Well-posedness of hyperbolic system with constant coefficients in finite domains
I'm studying the PDE
$$
\frac{\partial u}{\partial t} + A_x\frac{\partial u}{\partial x} + A_y\frac{\partial u}{\partial y} + A_z\frac{\partial u}{\partial z} = 0
$$
with $A_x, A_y, A_z$ being ...
1
vote
0
answers
84
views
A Riemann Hilbert problem on the unit square
Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$.
Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
1
vote
0
answers
353
views
Eigenvalues of convolution matrices
Let $h: \mathbb{R}\to \mathbb{R}$ be a smooth function. Fix $0\leq s_1\leq \cdots \leq s_m\leq 1$ and $0\leq t_1\leq \cdots \leq t_n\leq 1$. Construct $A\in \mathbb{R}^{m\times n}$ by letting $A_{i,j}:...
1
vote
0
answers
126
views
Does my functional satisfy the Palais Smale condition?
Consider the functional
$$ I(u)=\frac{1}{2} \int_\Omega |\nabla u|^2\ dx + \frac{1}{4} \int_\Omega (1-|u|^2)^2 \ dx - \frac{c}{2} \int_\Omega \langle i\partial_1 u , u\rangle ,$$
where $u:\mathbb{R}^2 ...
1
vote
1
answer
149
views
first order derivative of the parabolic equation
Assume $b, \ell \in C_b^{1,2}(\mathbb R^2)$. We consider parabolic PDE
$$(P1)\quad \partial_t v = b \partial_x v + \partial_{xx} v + \ell, \ \forall (t, x) \in \mathbb R^+\times \mathbb R; \quad v(0, ...
1
vote
0
answers
126
views
Continuity of Helmholtz-Hodge projection in $H^1(\Omega)$
Let $\Omega \subset \mathbb{R}^d$ (for simplicity $d = 2$ or $3$) be a bounded Lipschitz domain. For any vector-valued function $\mathbf{f} \in \mathbf{L}^2(\Omega):= \left ( L^2(\Omega) \right )^d$, ...
1
vote
0
answers
148
views
Spectrum of Laplacian-like operator
Let $\kappa_1, \kappa_2>0$ be fixed.
Consider the unbounded operator $A: D(A) \rightarrow L^2(-1,1)\times\mathbb{R}$ defined by
$$
A\begin{bmatrix} y \\ h \end{bmatrix} = \begin{bmatrix} \...
1
vote
0
answers
64
views
Bound on number of linearly independent eigenvectors of adjoint of composition operator
Fix $N>1$. Let $f\in C^{\infty}(\mathbb{R},\mathbb{R})$ be such that the composition operator via
$$
\begin{aligned}
C_f:C^{\infty}(\mathbb{R},\mathbb{R}) &\rightarrow C^{\infty}(\mathbb{R},\...
1
vote
0
answers
102
views
Commutator estimates for $-(-\Delta)^s$, with $s \in (1,2)$
I'm currently trying to work with the non-local operator given by
$$
(-\Delta)^{\frac{s}{2}}f(x)= c_s\text{P.V} \int_{-\infty}^\infty \frac{-f(x+y)-f(x-y)+2f(x)}{|y|^{1+s}} dy,
$$
where $f :\mathbb ...
1
vote
0
answers
45
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
1
vote
0
answers
136
views
Topology on function spaces for pointwise convergence
Suppose I have some collection of maps $T_\lambda: C^\infty(\Omega)\rightarrow C^\infty(\Omega)$ which are linear and parameterized by a parameter $\lambda >0$. (Perhaps more generally take $C^\...
1
vote
0
answers
88
views
Explanation for the energy method used here
I am reading a paper where the authors prove
$$ \frac{d}{dt} \Vert f \Vert_{H^4} (t)\leq C\Vert f \Vert^5_{H^4}(t) $$
Where $f=f(x,t)$ and $H^4$ stands for the usual Sobolev space. Using Gronwall's ...
1
vote
0
answers
166
views
Solution to Heat Equation By Projection
Let $X\subseteq C(\mathbb{R}\times [0,\infty))$ be the collection of all solutions to the IV heat equation
$$
\partial_t u(t,x) = \partial^2 u(t,x) \qquad u(0,x)=p(0,x),
$$
for some fixed $p\in C^2(\...