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.
4,468 questions
1
vote
1
answer
121
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
$\int_{Du(\...
- 5,169
1
vote
0
answers
77
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$: ...
- 313
7
votes
1
answer
323
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 ...
- 188k
2
votes
2
answers
231
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 \...
- 1,191
1
vote
1
answer
234
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) &...
- 1,191
1
vote
0
answers
129
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)" (...
- 1,051
2
votes
3
answers
317
views
What are some good sanity checks for simulating BNLS?
After doing some googling, I failed to find any explicit solution for the Biharmonic Nonlinear Schrodinger Equation, which states:
$$
i\psi (x,t) _t - \Delta ^2 \psi (x,t) + |\psi (x,t) | ^{2 \sigma} \...
CommunityBot
- 1
2
votes
0
answers
119
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 ...
- 49
1
vote
0
answers
345
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$ ...
- 11
10
votes
2
answers
1k
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 C^2(\...
- 6,045
4
votes
3
answers
405
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 Spencer/...
-2
votes
1
answer
193
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$ ...
- 902
2
votes
1
answer
422
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
$$
g=dr^...
CommunityBot
- 1
2
votes
0
answers
553
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 ...
5
votes
1
answer
254
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 ...
CommunityBot
- 1
0
votes
0
answers
238
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 $L^2(\...
- 81
2
votes
1
answer
629
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) = \...
- 39.1k
3
votes
1
answer
363
views
First integrals of a 3D incompressible flow
Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...
CommunityBot
- 1
1
vote
0
answers
108
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 ...
- 237
3
votes
1
answer
375
views
Exponential decay for the gradient of a solution
Dear all,
I would like to prove the exponential decay of the derivatives of a solution to the following equation in $\mathbb{R}^N$:
$$
\sqrt{-\Delta+m^2} u +u= f(u),
$$
where I can assume that $m \neq ...
- 1,191
1
vote
0
answers
461
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
$$\|u\|_{m,p,...
- 5,169
5
votes
1
answer
1k
views
A question on the proof of the Serrin condition for the regularity of Navier-Stokes equations
Edit: This question has been substantially modified on January 12th, 2015.
I have been studying Michael Struwe's paper "On Partial Results for the Navier-Stokes Equations", Comm. Pure Appl. Math 41 (...
CommunityBot
- 1
0
votes
1
answer
146
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 ...
CommunityBot
- 1
2
votes
0
answers
83
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 \mathbf{...
- 41
3
votes
1
answer
659
views
Short time existence on Hyperbolic Ricci flow in non-compact case
We know
Laplace equation (elliptic equations)
$ Δ u = 0$
Heat equation (parabolic equations)
$u_t − Δu = 0$
Wave equation (hyperbolic equations)
$u_{tt} − Δu = 0$
we have
- Hyperbolic geometric ...
- 39.1k
1
vote
0
answers
91
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 ...
- 8,086
0
votes
1
answer
332
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 $...
- 2,834
3
votes
1
answer
283
views
Extension of Sobolev Functions
Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
\begin{...
- 2,494
2
votes
1
answer
323
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
$$
u(z)=\log\frac{4|f'|^2}{(1+|f|^2)^2}...
- 7,831
1
vote
1
answer
159
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 $...
5
votes
1
answer
239
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$. ...
- 902
1
vote
0
answers
74
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 ...
- 89
1
vote
1
answer
514
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 \...
- 2,834
3
votes
0
answers
132
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 ...
- 31
31
votes
4
answers
5k
views
Classification of PDE
Recently I have been attending a course on PDE's. I was totally ignorant of the subject and wasn't that motivated to be honest. But I was intrigued and felt I had to take the course seriously both for ...
CommunityBot
- 1
2
votes
0
answers
426
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 u\Vert_{C^...
- 21
7
votes
1
answer
3k
views
How to prove this Poincare Inequality
I want to ask a question about a statement that I found on the paper: Principal Eigenvalues for Problems With indefinite Weight Function in $R^N$.
The statement is the following:
Suppose that $g:\...
- 6,259
4
votes
1
answer
516
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) b_{\beta\...
- 108k
5
votes
1
answer
573
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 ...
- 25.3k
2
votes
0
answers
124
views
Density of restrictions of $p$-harmonic functions on a hypersurface
Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...
- 8,086
1
vote
0
answers
116
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$ ...
- 251
1
vote
1
answer
188
views
"Schwarz symmetrization" on annulus
If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
- 2,834
1
vote
1
answer
209
views
Strong maximum principle for the heat equation in non-cylindrical domains
let $u(t,x)$ be a bounded smooth solution of the heat equation $u_t=\Delta u$, $(t,x) \in R \times R^2$, and let $V \subset (R \times R^2)$ be an open connected component of $\{(t,x) \in R \times R^2: ...
- 39.1k
4
votes
1
answer
1k
views
Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$
I want to show:
Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align}
H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N)
\end{align}
is compact.
I was able to show ...
CommunityBot
- 1
8
votes
1
answer
519
views
Mountain Pass theorem for minimization problems with constraints
Let $I[u]$ be a functional on a (possibly infinite dimensional) Hilbert space. Then, under some conditions, the Mountain Pass theorem guarantees the existence of a saddle point (see http://en....
- 60.6k
2
votes
1
answer
649
views
Boundary energy estimate of wave equations
Let $D$ be the unit disk in $\mathbb{R}^{n}$, we consider the $n$ dimension wave equation defined on $D$,
$$\square u=F$$
where $\square=\partial_{t}^{2}-\triangle$ is the standard wave operator in $\...
- 81
1
vote
0
answers
227
views
Showing existence of positive weak solution of a PDE by CoV
Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, $1<...
- 2,494
2
votes
0
answers
246
views
A integral equation with Discrete to result by inverse problem
Problem
I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the ...
CommunityBot
- 1
2
votes
1
answer
127
views
Does the green kernel converge as a series of functions?
Let $(M,g)$ be a compact rimannian manifold. It is well known that we can diagonalyse the Green kernel as a $L^2$ operator acting on functions. Moreover we have the convergence of the following series,...
- 902
3
votes
1
answer
338
views
The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations
Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or $C^{0,1}(\mathbb{R}^...
CommunityBot
- 1