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

3
votes
0answers
47 views

Recognizing Schwartz regular distributions

Are there characterizations of Schwartz regular distributions other than being locally integrable (which does not lend itself to easy manipulations)? To be more detailed: if I want to show that some ...
1
vote
0answers
20 views

Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël, http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf. The equations are $$ i\partial_tu+\Delta u=-|u|^{p-1}u $$ on ...
3
votes
0answers
52 views

Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...
2
votes
0answers
53 views

behaviour of first eigenfunction near the boundary

Consider $\Omega$ a smooth bounded domain in $R^N$ and suppose $ \phi_1(x)>0$ is the first eigenfunction of $ -\Delta$ in $H_0^1(\Omega)$ normalized however one chooses. My interest is in how $ ...
1
vote
1answer
104 views

compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold. Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset ...
1
vote
0answers
38 views

Existence and uniqueness of solutions for a nonlinear elliptic PDE

The following nonlinear elliptic PDE arose in my research: $$\Delta f - e^f \partial_s f = E(s,t)\,,$$ where $f : \mathbb R \times \mathbb R/\mathbb Z \to \mathbb R$, $f = f(s,t)$, is the unknown ...
1
vote
2answers
86 views

Sobolev trace map: is the fractional seminorm bounded by just the gradient?

Let $M$ be a compact Riemann manifold. Consider the trace map $T:H^1(M) \to H^{\frac 12}(\partial M)$. Is it always the case that $$|Tu|_{H^{\frac 12}(\partial M)} \leq C\lVert \nabla u ...
6
votes
1answer
191 views

Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$

Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$: $$ \begin{cases} \partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\ u(0,x)=u_0(x). \end{cases} $$ ...
1
vote
0answers
77 views

Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...
3
votes
1answer
267 views

Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...
5
votes
1answer
1k views

Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...
4
votes
0answers
121 views

Nash's proof of De Giorgi-Nash-Moser theorem

I saw this question, but I think the answer didn't fully address what I want to know about it: Nash's paper on parabolic equations. It says almost everything developed later in elliptic and ...
3
votes
2answers
351 views

Nash inequality on a compact domain?

I have come across a few papers that make use of the Nash inequality for functions on a compact domain. Unfortunately, nobody cites a reference for the proof of this result. Is going from the ...
1
vote
0answers
50 views

boundedness of a sequence $ \in L^{\infty}(I,H^1(M))\cap Lip(I,L^2(M))$ implies that its temporal derivative is bounded as well [closed]

Hi I have the next claim which I would like to find a proof of it. I have a sequence of functions $u_\epsilon(t,x) \in H^1(M)$ where $M$ is a compact manifold, and $u_\epsilon \in ...
0
votes
0answers
62 views

Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times ...
4
votes
1answer
547 views

Solution of Helmholtz-Equation where Phase is restricted by additional PDE

Hello! Let's say I have $(\partial_x^2 + \partial_y^2 + a)f(x,y)=0$ with $f(x,y) \in \mathbb{C}$, ($\lim_{x,y \to \infty} f(x,y)=0$). Now separate the Amplitude and Phase of the solution: ...
1
vote
0answers
100 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 ...
0
votes
0answers
67 views

First order elliptic pseudodifferential operator and Sobolev space [closed]

Let $P$ be an elliptic pseudodifferential operator of order 1 on a compact manifold $M$. Also let the spectrum of $P$ lie inside $(0, \infty)$. I am trying to see how one could prove that $P : H^1(M) ...
0
votes
0answers
91 views

Lower order perturbations of 2nd order differential operators [migrated]

Consider the well-known Hormander's sum of squares $P = \sum_{j = 1}^m X_j^2$, where $X_j$ are vector fields on a compact manifold $M$ of dimension $n$. Also assume, as is usual to this theory, $m ...
1
vote
0answers
84 views

Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then ...
1
vote
0answers
47 views

Equivalence of two definitions of weak solution (subtlety with null sets)

Consider $$y_t - \Delta y = f$$ $$y(0) = y_0$$ with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions: We have $y \in ...
4
votes
2answers
68 views

Reference request : Besov spaces on ubounded domains

As I am relatively new to these matters, I would like to know if you could provide me a reference for Besov spaces on unbounded domains, because when I checked the first tome of Triebel's Theory of ...
7
votes
1answer
476 views

Is there a generalization of Sobolev spaces for certain locally compact groups?

I'm interested in knowing how far and how general the theory of Sobolev spaces has been developed. Classically, $H^k(U)$ for $U$ a subset of $R^n$ is given by derivatives up to order $k$ being square ...
10
votes
3answers
394 views

Mathematical difference between entropy and energy

I have a rather soft question. Let's assume that we consider the heat equation posed in $S^1$: $$ \partial_t u=\partial_x^2u. $$ It is well known that if we define the functionals $$ ...
20
votes
1answer
945 views

Why is there a connection between enumerative geometry and nonlinear waves?

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it. Recently I encountered in a class the fact that there is a generating function of ...
0
votes
1answer
76 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 ...
4
votes
1answer
187 views

monotone parabolic systems, convex variational structure and Legendre transform

The context: for my research I am currently looking at parabolic systems of the type $$ \left\{ \begin{array}{ll} \partial_t b(u)-\Delta u=0 \qquad & (t,x)\in \mathbb{R}^+\times\Omega\\ u=0 & ...
1
vote
0answers
42 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
130 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
285 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 ...
4
votes
1answer
288 views

Schrodinger equation with magnetic vector potential

In many papers dealing with the Schrodinger equation with magnetic potential $$u_t=i(\nabla+iA(t,x))^2u$$ the authors say that this equation can be studied with Kato's methods for abstract evolution ...
2
votes
1answer
174 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 ...
2
votes
0answers
93 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 ...
1
vote
1answer
47 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
25 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
261 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 ...
4
votes
0answers
96 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 ...
6
votes
1answer
126 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
2answers
160 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
1answer
75 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
vote
0answers
43 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)" ...
4
votes
0answers
60 views

Carleman Estimates in a Riemannian manifold

Suppose $(\Omega,g)$ is a Riemannian manifold where $\Omega$ is a domain in $\mathbb{R}^3$ with smooth boundary. Furthermore suppose there exists a global coordinate chart $(x_i)$ such that $g= dx_1^2 ...
1
vote
3answers
255 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} ...
1
vote
0answers
63 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 ...
0
votes
0answers
31 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
100 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
39 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
58 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$ ...
5
votes
2answers
152 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 ...
3
votes
3answers
184 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 ...