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
Filter by
Sorted by
Tagged with
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)&...
mafan's user avatar
  • 471
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 ...
Galkina's user avatar
  • 31
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}$ ...
Tomas's user avatar
  • 799
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 \...
LDace's user avatar
  • 43
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,...
Justin's user avatar
  • 695
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 ...
Ali Taghavi's user avatar
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 ...
Ali Taghavi's user avatar
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 ...
CodeGolf's user avatar
  • 1,837
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. ...
Craig's user avatar
  • 539
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} \...
Craig's user avatar
  • 539
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 ...
Tomás's user avatar
  • 83
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 ...
incas's user avatar
  • 185
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 $\...
Craig's user avatar
  • 539
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 \...
Paulo G.'s user avatar
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 \...
LapLace's user avatar
  • 173
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\} ...
leo monsaingeon's user avatar
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 ...
TheBook's user avatar
  • 155
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),\...
TheBook's user avatar
  • 155
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) - \...
student's user avatar
  • 183
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/...
alphanzo's user avatar
  • 113
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 ...
student's user avatar
  • 23
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 ...
user37238's user avatar
  • 171
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{-\...
Tomas's user avatar
  • 799
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, \...
gregarki khayal's user avatar
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 ...
A curious cat's user avatar
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 ...
Craig's user avatar
  • 539
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~, $$ ...
Jean-Marc Schlenker's user avatar
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 ...
Guest's user avatar
  • 21
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[\...
Matthias Ludewig's user avatar
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,...
Andrew's user avatar
  • 2,645
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 ...
leo monsaingeon's user avatar
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 ...
user36539's user avatar
  • 308
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^...
studentX's user avatar
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$, $\...
Spiegel's user avatar
  • 171
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_{...
Spiegel's user avatar
  • 171
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 ...
Sean Gomes's user avatar
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}$ ...
Jason's user avatar
  • 21
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 ...
Craig's user avatar
  • 539
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)$ ...
Italo's user avatar
  • 1,697
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 ...
Jon's user avatar
  • 1,657
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 $...
Richard Gustier's user avatar
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 ...
user31016's user avatar
  • 311
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_{\...
Brian Street's user avatar
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^...
user30263's user avatar
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 ...
orbifold's user avatar
  • 101
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/# ...
Beni Bogosel's user avatar
  • 2,102
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 \...
heiko's user avatar
  • 21
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 ...
Shaoming Guo's user avatar
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 \; \; \...
user avatar
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)...
RadonNikodym's user avatar

1
17 18
19
20 21
35