Questions tagged [ap.analysis-of-pdes]
Partial differential equations (PDEs): Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.
1,734
questions with no upvoted or accepted answers
2
votes
0
answers
156
views
Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?
Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$.
Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in L^2(X,m):\epsilon(f)&...
2
votes
0
answers
278
views
Reference request: functional analysis results used in Taubes paper (1980)
I am studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I am looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...
2
votes
0
answers
128
views
Properties of solutions of Parabolic type equations
Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation
$$
\partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\
u(0)=u_{0}.
$$
with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...
2
votes
0
answers
141
views
Uniform bounds for a coupled parabolic system of PDE (linear)
Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon \...
2
votes
0
answers
279
views
Log of heat kernel for positive time
A well-known theorem by Varadhan relates the logarithm of the heat kernel on a manifold and the geodesic distance function. In particular, if $d(x,y)$ is geodesic distance from $x$ to $y$ and $p(t,x,...
2
votes
0
answers
108
views
Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE
A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...
2
votes
0
answers
593
views
Is Laplacian a surjective operator?
For a closed manifold the laplacian is almost surjective operator since the index of $\Delta$ is zero and there is no a non constant harmonic function. So the codimension of the image ...
2
votes
0
answers
109
views
Solve a PDE related to free boundary problem
I would like to solve the following system for my problem:
$$\max\Big(\frac{1}{2}u_{ss}+u_l\delta(s-s_0), F(l)-\lambda(s)-u(s,l)\Big)=0.$$
where $u=u(s,l): R\times R_+\to R$ is the unknown function ...
2
votes
0
answers
508
views
Half Laplacian; (definitions of) and regularity
I have a question regarding the half Laplacian $ (-\Delta )^\frac{1}{2}$ on some smooth bounded domain $ \Omega$ in $R^N$. I am attempting to clarify some confusion with the various definitions. ...
2
votes
0
answers
272
views
Newtonian potential for continuous $f$
Suppose $f(x)$ is a continuous compactly supported function in $ R^N$ where $N \ge 3$.
Consider the Newtonian potential of $f$ (at least I think this is what it is called)
$$ v(x)=\int_{R^N} \...
2
votes
0
answers
124
views
Approximating a superharmonic function, by smooth superharmonic functions
Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic).
The standard ...
2
votes
0
answers
183
views
Variant form of the gronwall inequality
I know the following statement for gronwall inequality:
Given $f$ non negative and absolutely continuous on $[0;T]$ and $\phi \in L^1(0;T)$if we have,
$f' \leq \phi f$ and $f(0)=0$ then $f=0$
Now is ...
2
votes
0
answers
135
views
Holder continuity of Poisson equation with divergence free drift
I am interested in the following PDE.
Suppose $u_m$ is a smooth solution of a elliptic equation of the form
$$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on $\...
2
votes
0
answers
149
views
Variational inequality on Manifold
Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla \...
2
votes
0
answers
184
views
Showing $\langle \frac{\partial b(v)}{\partial t}, v \rangle_{H^{-1}(\Omega), H^1(\Omega)} = \frac{d}{dt}\int_{\Omega}\Psi^*(b(v))$
Let $b$ be continuous and increasing with $b(0) = 0$. Define $\Psi(t) = \int_0^t b(s)\;ds$ and $\Psi^*(s) = \sup_{r \in \mathbb{R}} (sr-\Psi(r))$.
(Note $\Psi^*(b(s)) + \Psi(s) = sb(s)$).
Let $v \...
2
votes
0
answers
143
views
Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$
Let me consider the following subset of probability measures in $R^d$
$$
\mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\}
...
2
votes
0
answers
153
views
Showing a normal-derivative operator is a (sort of) contraction (related to Crandall-Liggett and PDEs)
Denote by $\mathbb{E}(g)$ the solution of the PDE
$$\Delta v(x,y) = 0 \quad\text{in $\Omega$}$$
$$v(x,0) = g(x) \quad\text{on $\partial\Omega$}.$$
Let $X=L^1(\partial\Omega)$. Let $h(t)$ be a ...
2
votes
0
answers
179
views
Changing the test function space in a weak formulation of parabolic PDE
Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that
$$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T a(u(t),\...
2
votes
0
answers
229
views
A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?
Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form
$$u_t(t) - \...
2
votes
0
answers
193
views
geometric irregularities in pde's
The following question is intended for a person more acquainted with the works of Yves Laurent.
see: http://archive.numdam.org/article/ASENS_1987_4_20_3_391_0.pdf (French)
http://link.springer.com/...
2
votes
0
answers
126
views
How to show the identity $\int_0^T \int_{\Gamma(t)}f(s,t)\;dsdt = \int_S f(\sigma)(1+(\mathbf w \cdot \mathbf n)^2)^{-\frac{1}{2}}\;d\sigma$?
I am reading this paper.
Let $\Gamma(t)$ be a smooth closed connected oriented hypersurface for each $t \in [0,T]$. Define the set $$S = \bigcup_{t \in (0,T)}\Gamma(t) \times \{t\}.$$
On page 5 of ...
2
votes
0
answers
102
views
Almost a Green formula
Let $\Omega$ be the half-space $\mathbb{R}^{n-1}\times \{ x_n>0 \}$, let $v \in L^2(\Omega)$ and $\phi\in \mathcal{C}^{\infty}(\overline{\Omega})$ with compact support in $\overline{\Omega}$. What ...
2
votes
0
answers
147
views
Half-wave group $e^{it\sqrt{-\Delta_g}}$ for large $t$
Consider the Laplace-Beltrami operator $\Delta_g$ on compact Riemannian manifold $(M,g)$, then $e^{it\sqrt{-\Delta_g}}f$ is the solution of the following Cauchy problem.
$$
i\partial_tu=\sqrt{-\...
2
votes
0
answers
396
views
On the infinitesimal generator of a 1-dimensional stochastic heat equation: core and explicit form
Denote $E = C([0, 1])$. I am consider a 1-dimensional stochastic heat equation on $h$:
$$\partial_tu(t, x) = \partial_x^2u(t, x) - V'(u(t, x)) + \dot{W}(t, x), \quad\text{ for all } (t, x) \in (0, \...
2
votes
0
answers
102
views
Deduce global estimate from scaling-invariant local estimate
Let $(M,g)$ be a non-compact Riemannian manifold, with finite volume (or compactly exhausted, or any nice condition you would like, except for compactness). Suppose I have a tensor $T$ on $M$ of which ...
2
votes
0
answers
127
views
slightly subcritical elliptic pde; the linearized equations
Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems
$$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...
2
votes
0
answers
232
views
Reference on a Monge-Ampère-like equation
We recently realized that a geometric questions of interest to us is strongly related to the regularity of solutions of the following simple equation on the unit disk in $R^2$:
$$ \det(Hess(w))=1~, $$
...
2
votes
0
answers
350
views
Subordination identity and heat operator
I was reading the so-called subordination identity that allows one to derive estimates on the Poisson operator $e^{-t\sqrt{-\Delta}}$ from estimates on the heat diffusion operator $e^{t\Delta}$. I am ...
2
votes
0
answers
104
views
Existence of harmonic maps between loops
Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy
$$E[\...
2
votes
0
answers
103
views
Analyticity of one-dimensional PDE solutions with respect to the space variable
Let $n>1$ and $u$ be a solution of a linear PDE with constant coefficients
$$
u_t-\sum_{k=0}^n a_k \partial_x^k u=0,\quad a_k\in \mathbb C,\quad a_n\ne0,
$$
in some neighborhood of a point $(x_0,...
2
votes
0
answers
181
views
localization of the $L^p$ variation for heat equation
I'm struggling with yet another question for the classical heat equation in the whole space $R^d$. This question seems basic at first sight, but I think it is nontrivial in the end so here it is.
The ...
2
votes
0
answers
151
views
Why pseudoconvexity is important in Partial differential equation theory?
I am a new researcher in mathematics and I work on convexity. Are convexity and pseudoconvexity related topics and in which respect to PDE theory ? One of the important results in PDE theory is the ...
2
votes
0
answers
189
views
A contradiction to do with continuity? (involves chain rule)
Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE
$$\frac{d}{dt}D^0_t(\cdot) = V(D^...
2
votes
0
answers
169
views
Elliptic equations with divergence-free drift terms
Given
$\
\mathbf{u}\cdot \nabla c=\Delta c-a_{1}c+\rho \text{ on }\Omega $ with a $\Omega \subset
%TCIMACRO{\U{211d} }
%BeginExpansion
\mathbb{R}
%EndExpansion
^{2}$ bounded, $div$$(\mathbf{u})=0$, $\...
2
votes
0
answers
157
views
Helmhotz decomposition and Regularity in Stokes equation
It is known that every function $f\in L^{q}(\Omega )^{n}$ can be uniquely
decomposed as
\begin{eqnarray*}
\
f=f_{0}+\nabla Q, \text{ (Helmhotz decomposition)}
\
\end{eqnarray*} with $f_{0}\in L_{...
2
votes
0
answers
217
views
A microlocal representation for quantum operator dynamics
In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
2
votes
0
answers
93
views
Inclusions between $L^p$ continuous functions and Triebel-Lizorkin spaces
Working in $\mathbb{R}^{d}$, consider on the one hand the space of continuous $L^{p}$ functions (let's use $V$ to denote this space), and on the other the family $\{ F_ {\alpha}^{p, q} \}_{\alpha, q}$ ...
2
votes
0
answers
157
views
linear operator associated with semilinear elliptic pde
I am reading a paper where at some point they analyse the following linear operator:
$$L_\lambda(\phi)= - \Delta \phi - C_\lambda(x) \phi$$
where $ C_\lambda(x)>0$ (smooth) in $ \Omega$ a bounded ...
2
votes
0
answers
109
views
Regularity of solution of nonlinear equation
Hi!
Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball
$B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$.
Let $f\in C^{0,\alpha}(B_1)$ ...
2
votes
0
answers
2k
views
Nonlinear PDE and Green functions
This is somewhat of a curiosity that can hide somewhat deeper. For a Green function of a nonlinear PDE I mean something like
$$
\partial^2\phi+V(\phi)=\delta^D(x).
$$
I do not know if a real ...
2
votes
0
answers
219
views
optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition
Consider the problem
$$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$
where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and $...
2
votes
0
answers
211
views
Convergence rate of iterated nonlinear equations?
For $i=1, \dots, n$ ($n$ could be large) we have variables $x_i$ and $y_i$ relating to probability bounds s.t. $x_i, y_i \geq 0, x_i+y_i \leq 1 \; \forall i$. Each $i$ has a constant $\theta_i$, and ...
2
votes
0
answers
99
views
Quantitative Weierstrass Approximation and Paley-Wiener for the Laplace Transform II
This is a modification of a previous question.
Question: Suppose $a(s)\in C^\infty([0,1])$ and $H(s,x)\in C^\infty([0,1]\times [0,1])$ with $H(s,x)>0$, $\forall s,x\in [0,1]$. Suppose,
$$\sup_{\...
2
votes
0
answers
257
views
Best constant of Gagliardo-Nirenberg inequality in exterier domain
In $\mathbb{R}^N$, we know that the best constant of Gagliardo-Nirenberg is characterized by the solution $Q$ of $-\Delta u+u=|u|^2u$ with minimal mass. One have
$||u||_4^4\leq C||u||_2||\nabla u||_2^...
2
votes
0
answers
706
views
Pullback of harmonic forms.
If $f \colon X \to Y$ is a holomorphic map between Kaehler manifolds, then the pullback of a harmonic form on $Y$ is not necessarily harmonic on $X$, even if $f$ is an immersion. This came up during a ...
2
votes
0
answers
173
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
2
votes
0
answers
95
views
Asymptotics of quasilinear elliptic equations with Dirac right hand side
On a small open neighborhood $U$ of $0 \in \mathbb{R}^n$, consider the quasilinear (possibly monotone) elliptic, scalar PDE in divergence form
$$\nabla \cdot(a(x,u,\nabla u)\nabla u) = \alpha \...
2
votes
0
answers
194
views
Integrability of ground state solution for elliptic equation
For the solution of semi-linear elliptic equation, for example I'm considering the 2D cubic nonlinear Schroedinger equation, the correspongding elliptic equation is $\Delta u+u^3=u$, with $u>0$. By ...
2
votes
0
answers
417
views
Variational Formulation of Boundary Value Problems With Unknown on the boundary
Suppose that we have a linear operator equation on $\Omega$ with Lipschitz boundary $\partial \Omega$,
\begin{eqnarray}
Lu &=& \frac{\partial u}{\partial t},
u(x,0) &=& u_0 \; \; \...
2
votes
0
answers
241
views
Core of divergence form operator with unbounded coefficient
Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of
$$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$.
I also assume that $a(x)...