Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

learn more… | top users | synonyms

1
vote
0answers
107 views

$L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of $$u_{tt} + \Delta u =0$$ $$u|_{t=0}= u_0$$ $$u|_{t=T}=0$$ where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...
1
vote
1answer
144 views

methods for situations where well-posedness criteria hold but global solutions do not exist

I have been learning PDEs (more specifically, nonlinear dispersive equations (Schrödinger/wave/ Klein-Gordan equations etc...)) through the harmonic analysis methods. And I have read a couple of ...
1
vote
0answers
50 views

sharp conditions characterizing the vanishing of scalar Jacobi fields

Let $T>0$, let some function $\kappa(t)$ smooth on $[0,T]$, and let $b$ the unique solution to the ODE $\ddot b + \kappa(t) b = 0$ with initial conditions $b(0)=0$ and $\dot b(0) = 1$. I was ...
7
votes
1answer
143 views

Boundary values of boundary value problems

Let $M$ be a manifold with smooth boundary. We can consider the Dirichlet or the Neumann problem on $M$. Let $(\phi_k)$ be an orthonormal basis of eigenfunctions to the Dirichlet problem and let ...
3
votes
1answer
309 views

Lemma 2.11 of Tao's Nonlinear Dispersive Equations

I'm reading the proof of Lemma 2.11 of that book, for which Tao has an errata showing that the case $b=b'$ is not obvious. But I can't quite understand his explanation on how to show that case. Could ...
2
votes
0answers
115 views

Intuition behind Stokes operator?

I know that the definition of the Stokes operator (which appears in the functional form of the Navier-Stokes equations) is  $$A = -P_L Δ$$ where $Δ$ is the Laplacian, and $P_L$ is the Leray ...
2
votes
1answer
218 views

Does this linear elliptic equation have a weak solution?

Let $Q = \Omega \times (0,C)$ where $\Omega$ is a bounded domain, write $(x,y) \in Q$ for $x \in \Omega$ and $y \in (0,C)$. Is the problem $$\Delta_{(x,y)}v = 0\quad\text{in $Q$}$$ $$\frac{\partial ...
1
vote
1answer
54 views

A coarea formula when proving maximum principles for strong solutions in Chapter9 in Gilbarg-Trudinger's book

strong text In GT's book(1998 Edition) Chapter9 P223, Let $g$ be a nonnegative, locally integrable function in $\mathbb{R}^n$ and $u\in C^2(\Omega)\bigcap C^0(\bar\Omega)$. How to prove ...
1
vote
0answers
30 views

Recursive formula for symbol of resolvent on noncompact manifold

On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...
7
votes
1answer
282 views

“Thin film evolution” (Reference request)

Ok this is my first$^*$ question on overflow, my apologies if this is not the right place to ask what follows! I observed the following phenomenon: I put a (vitamin) tablet into water, then after a ...
0
votes
1answer
98 views

Nontrivial solutions of a semilinear elliptic equation

What is known, for $N\geq3$, about the existence of nontrivial real-valued solutions $u=u(x)$ of the following semilinear elliptic equation: $$ \left\{ \enspace \begin{aligned} &\Delta u = f(u) ...
3
votes
1answer
154 views

Equivariant Harmonic Maps to R-tree and Korevaar-Schoen Convergence

Thank you for spending time on the following question. I am trying to make an explicit example of Korevaar-Schoen convergence. The problem I am facing is that I cannot find the limit of the harmonic ...
1
vote
0answers
52 views

persistence of regularity for nonlinear Klein-Gordon equation

I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" ...
6
votes
1answer
163 views

Decay of solutions to Schrodinger equation with local minimum in potential

Consider the one-dimensional Schrodinger operator on the real line $\mathbb{R}$ given by $$ L = - \partial_x^2 + V $$ where $V$ is a potential with the following properties: $V$ is non-negative, ...
2
votes
0answers
80 views

Find $U \in H^1(\Omega \times (0,\infty))$ such that $\nabla E(u-\bar u)\nabla U \geq 0?$ (PDE harmonic extension)

Let $\Omega$ be a bounded smooth domain. Given $u \in H^{\frac 12}(\Omega)$ with mean value $\bar u = 0$, let $Eu = v \in H^1(\Omega \times (0,\infty))$ solve $$\int_0^\infty\int_\Omega \nabla v\nabla ...
2
votes
2answers
175 views

“C^0 estimate for solutions to $\Delta(u)+e^{-u} \geq 0$”

Let $u: \mathbb{R}^2 \to \mathbb{R}.$ Suppose I have a solution to the equation $$\Delta(u)+e^{-u} \geq 0$$ on $\mathbb{R}^2$. Let r be the radial coordinate on $\mathbb{R}^2$. Suppose that $$lim_{r ...
0
votes
0answers
48 views

Uniform bound in Faedo-Galerkin method with time-dependent weight in inner product

Let $v_j$ be an orthonormal basis for $V=H^1(\Omega) \subset L^2(\Omega)$ which is orthogonal in $L^2(\Omega)$. Let $w:[0,T]\times\Omega \to \mathbb{R}$ be a time-dependent weight which is smoooth ...
4
votes
1answer
118 views

Weak convergence in $W^{1,p}_0$

Note from the answerer : this question stems from this article. I ask this question in http://math.stackexchange.com/questions/1206617 I have a bounded sequence $(u_n)$ from $W^{1,p}_0(\Omega)$ so ...
0
votes
0answers
50 views

regularity of non-local linear elliptic equation

$\alpha\in (0,1)$, $u$ satisfies: \begin{equation*} b\cdot \nabla u(x)+\sum_{i=1}^d \int_{R} \left[u(x+se_i)-u(x)-s\mathbb{I}_{\{|s|\leq ...
1
vote
0answers
79 views

maximum principle on compact manifolds with boundary

Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...
-1
votes
1answer
146 views

Analysis of Sobolev spaces [closed]

I just wanted to know wthether the following is OK or not. Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
3
votes
3answers
196 views

Are linearizations of involutive PDEs locally solvable?

A possibly soft question for you guys and gals. Say a system of analytic PDEs has been completed to involution (in the sense that it's geometric symbol has a Pommaret basis, or has vanishing ...
0
votes
0answers
88 views

inflow/outflow Boundary Conditions for flow in pipe

I have a question about boundary condition of solving Navier-Stokes equation through pipe. When I simulate the flow in pipe using periodic boundary condition, it works good. But when I tried to change ...
0
votes
0answers
32 views

On a remark regarding to initial-boundary elliptic estimate

In the paper "On the motion of the free surface of a liquid" see [CL], the authors proved the initial boundary elliptic estimate (proposition 5.28) $$ ||\nabla^r q||_{L^{2}(\Omega)}+||\nabla^{r-1} ...
2
votes
1answer
95 views

distance formula of warped products

Given a warped product, I want to compute the ditance of any two points. First get the equation for the geodesic, then compute the length of the geodesic. Consider the two-dimensional surface $$ ...
2
votes
0answers
126 views

Sobolev space for manifold with boundary

For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...
3
votes
1answer
90 views

Blow-Up for Semi-Linear Wave Equations

I am reading C. D. Sogge's book "Lectures on Non-Linear Wave Equations". As an exercise, I attempted to fill out the details of the proof of Theorem 5.1 (Local Existence of Solutions for Semilinear ...
0
votes
0answers
82 views

if $u_\epsilon \rightarrow u$ weakly in $L^2$ then also $\partial_t u_\epsilon \rightarrow \partial_t u $ weakly in $L^2$

I am looking for a citation of the above claim, I am not sure under what conditions on the sequence $u_\epsilon$ exactly this applies. $u_\epsilon$ is a sequence of functions that depend on $x,t$ ...
5
votes
2answers
185 views

Well-posedness of Fokker-Planck equation

Consider the following equation on $[0,T]\times\mathbb{R}^n$ \begin{eqnarray} &\partial_t\rho=\mathrm{div}(\rho\nabla V)+\Delta\rho\\ &\rho|_{t=0}=\rho^0, \end{eqnarray} where $V\in ...
2
votes
1answer
126 views

global well posedness of cubic NLS in for initial data in $H^{s}(\mathbb R), 0<s<1$

We consider the one dimensional cubic nonlinear Shr\"odinger equation (NLS): $$i\partial_{t}\phi (x,t) +\Delta \phi (x,t)= \pm |\phi (x,t)|^{2} \phi(x,t), \ (x, t\in \mathbb R),$$ $$\phi (x,0) = ...
0
votes
0answers
95 views

Schauder estimate on a bounded domain

We know if $u:\mathbb{R}^{n}\to \mathbb{R}$ is a smooth function with compact support, then we can show, via integration by part, that $$ ||\Delta u||=||{\nabla}^2u|| $$ where $||\cdot||$ is the ...
1
vote
0answers
67 views

Cauchy Problem and stochastic representation for discontinuous initial data

Where can I read more about the Cauchy problem, i.e. solutions to $$ \frac{\partial u}{\partial t}+Lu=0 \text{ and } u(0,x)=f(x)$$ for some elliptic differential operator $L$ where $f$ is not ...
1
vote
0answers
77 views

$H=W$ for weighted Sobolev spaces

Meyers and Serrin's $H=W$ is well known, but how does it generalize when we add weights? Let's define $H^{m,p}(\mu_0,\dots,\mu_m)$ to be the completion of $C^\infty(\Omega)$ in the norm ...
2
votes
0answers
69 views

How analyze the following fully nonlinear equation

Now I want to consider the following pde $u_t(x,t)=\sigma(x,t)(1+|D_xu(x)|^2)^{1/2}$, with initial condition $u(x,0)=g(x)$ which is analytic, and on domain $D\times \mathbf{R}^{+}$, $D\subset ...
0
votes
1answer
98 views

Which is the smallest space $X\subset L^{2}$ where the conservation law holds in the norm of $X$?

We formally write the solution of nonlinear Schrödinger equation (NLS) as follows: $$u(t)= U(t-t_{0}) u_{0}- i \int_{t_{0}}^{t} U(t-\tau) (|u|^{2}u(\tau)) d\tau;$$ where $U(t)= e^{it\Delta} $(free ...
4
votes
0answers
67 views

How do solutions of a PDE depend on parameters?

Let $\Omega\subset\mathbb R^n$ be a bounded smooth domain and $\sigma_1,\sigma_2:\Omega\to(c^{-1},c)$ measurable (for some constant $1<c<\infty$). Let $f\in ...
1
vote
0answers
57 views

Existence for special Dirichlet problem

I would like to know the following: Let $M$ be a smooth surface with connected boundary. Let $f: M \rightarrow \mathbb{R}^3$ be an embedding such that the boundary $\partial M$ of $M$ is mapped onto ...
0
votes
1answer
166 views

Sobolev's lemma on manifolds

Let $M$ be a n-dimensional closed submanifold in $\mathbb{R}^m.$ I was looking for a version of Sobolev's lemma saying that for $f \in {W}^{k,2}$ we find a representative of $f \in C^{r}$ satisfying ...
3
votes
1answer
172 views

Gross's log Sobolev inequality proof with variational calculus?

For $f\in C^{1}(\mathbb{R}^{n})$, Gross's logarithmic Sobolev inequality says that $$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\int f^{2}\,d\mu\right)\leq \frac{2}{c}\int |\nabla ...
5
votes
3answers
363 views

Structure of sign changes under the heat flow

Let $f$ be a smooth function on $R^2$, and define $N_f$ to be the set of points $p$ such that the nodal set of $f$ ($\{x\in R^2: f(x)=0\}$) divided every neighborhood of $p$ into four regions. Indeed, ...
2
votes
1answer
187 views

Exact reference for Liouville theorem

It seems hard for me to find that the solution of the following equation $$ \Delta u+e^u=0 $$ defined on a simply-connected domain $D\subset R^2$ must be of form $$ ...
1
vote
1answer
92 views

Nodal sets under the heat flow

Let $u(t,X)$ be a smooth solution of the heat equation on $R^2$ $u_t=\Delta u,$ where $(t,X)\in R \times R^2$. Suppose $\lim_{t \rightarrow 0} u(t,x,y)=x^2-y^2$. Can we prove that the nodal set of ...
4
votes
1answer
162 views

Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case. Question: Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
1
vote
0answers
111 views

Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as $$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...
1
vote
0answers
51 views

Isolated singularities of harmonic mappings

Can a homeomorphic harmonic mapping $f=(u,v,w):\Omega\to \Omega'$ have isolated singular points. Here $\Delta f =0$, and singular point is a point with zero Jacobian. This will extend Lewy theorem for ...
2
votes
0answers
94 views

Uniqueness of solution of elliptic equation with exponential nonlinearity

Consider the following equation $$\Delta v + p(r)e^v = 0$$ on $\mathbb{R}^n$ where $p(r)$ is a polynomial in $r = |(x_1,..., x_n)|$. I want to understand when equations like these have unique ...
0
votes
1answer
156 views

$u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;H)$?

Let $V \subset H$ be a dense and compact embedding. Let $$\lVert u_n\rVert_{L^\infty(0,T;H)} + \lVert u_n \rVert_{L^2(0,T;V)} < C$$ where $C$ is independent of $n$. It follows that eg. $u_n ...
5
votes
1answer
212 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
1
vote
0answers
62 views

Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain $$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$ $$u|_{\partial\Omega} = 0$$ where $a$ is real-valued and satisfies $C_1 \leq a(r) \leq C_2$ ...
3
votes
1answer
292 views

Existence and uniqueness of a quasi-linear pde system on a surface

I have the following system of first order quasi-linear pde: $$ -(\Delta+1) a^{\alpha\beta} [b_{\beta\rho} I_{\alpha;\sigma}+b_{\beta\sigma} I_{\alpha;\rho}] + a^{\alpha\beta} [(\Delta+1) ...