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

2
votes
0answers
16 views

Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential $$ I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy. $$ The classical Hardy-Littlewood-Sobolev ...
0
votes
0answers
59 views

Is wave operator bounded on $L^{2}(\mathbb R^{n})$?

Consider the linear Shr\"odinger equation, $$ (LS) \begin{cases} \partial_{t}u= i\triangle u, t\in \mathbb R,\\ u(x,0)=u_{0}(x), \end{cases} $$ $x\in \mathbb R^{d}.$ In terms of Fourier transform, we ...
1
vote
0answers
27 views

Appropriate BCs of First Order Hyperbolic Semi-Linear Equation [on hold]

The following pde is (approximately) the leading order homogenized form of the local mass transport equation with a non-linear metabolism (in symmetrical spherical co-ordinates): \begin{equation*} ...
0
votes
0answers
77 views

Linearization of An Eikonal Equation

I would appreciate any help with the following problem: Suppose $(\Omega,g)$ is a three dimensional Riemannian manifold with smooth boundary where $\Omega \subset \mathbb{R}^3$ and assume that there ...
2
votes
1answer
172 views

The following type of Gronwall's inequality holds?

Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$. Suppose that $$ u(t) ...
0
votes
0answers
111 views

Heat asymptotics

Consider a compact manifold $M$ with smooth boundary, with either the Dirichlet or the Neumann boundary conditions. Consider a (time-dependent) open ball $B_t \subset M$. Given a fixed $u \in L^1(M)$, ...
1
vote
1answer
88 views

How to Separate Charpit Equations

I've been attempting to solve this non-linear PDE $$4\Omega x^2 y^2 \frac{\partial z}{\partial y} -x^2 y (\frac{\partial z}{\partial x})^2 + 2x^2 y^2 E-N^2=0$$ using Charpit's method. The ...
2
votes
0answers
73 views

Quantitative estimate of heat dispersion - off diagonal estimates

Consider the heat equation $\partial_t u - \Delta u = 0$ on a compact manifold $M$ (if $M$ has a smooth boundary, then we assume either Dirichlet or Neumann boundary condition). Consider $u_0 (x) = ...
3
votes
0answers
100 views

On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation $$\triangle \varphi = 4 \pi \rho \qquad (1)$$ defined on 3-dimensional oriented Riemannian manifold $(M,g)$, where $g$ is metric and ...
2
votes
0answers
217 views

Programming workbooks in C++ and Research Math [closed]

I know the basics of C++ by taking a few courses and going through "C++ Primer" by Lippman. As a math graduate student, I would love to get my hands on some programming-math exercises geared towards ...
1
vote
0answers
54 views

Energy inequalities for Sobolev spaces of negative integer

I asked this question in mathematics stackexchange and couldn't get an answer. Let $\phi\in H^{s}$ such that the following energy inequality is true: $$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| ...
0
votes
0answers
74 views

Boundedness of heat semigroup on $L^1(\Omega)$

On a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary, consider the Laplacian $-\Delta$ with either the Dirichlet or Neumann boundary conditions. More generally, one can also consider ...
2
votes
0answers
36 views

Hess-Schrader-Uhlenbrock inequality for non-symmetric operators

Let $M$ be a (compact, let's say) Riemannian manifold, $\mathcal{V}$ a vector bundle over $M$ with covariant derivative $\nabla$ and a fiber metric. Let $L = - \mathrm{tr}(\nabla^2) + V$ with some ...
0
votes
1answer
87 views

Backward Uniqueness for the wave equation [closed]

Does the wave equation $u_{tt} - \Delta u = 0$ have any backward uniqueness results that are similar to the ones for the heat equation (see for example Theorem 11 page 64 in Evans)? If not, are there ...
7
votes
1answer
125 views

Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by $$ I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.$$ By the classical Hardy-Littlewood-Sobolev theorem ...
1
vote
1answer
65 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
5
votes
0answers
66 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
70 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 ...
5
votes
0answers
87 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 $ ...
4
votes
0answers
101 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 ...
1
vote
1answer
65 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
1answer
144 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
2answers
109 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 ...
1
vote
0answers
86 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 ...
4
votes
0answers
133 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 ...
1
vote
0answers
52 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
64 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 ...
3
votes
1answer
272 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 ...
1
vote
0answers
86 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 ...
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
50 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
73 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 ...
10
votes
3answers
414 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 $$ ...
1
vote
0answers
101 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
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 ...
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
132 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
290 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
94 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
176 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
49 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
266 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
81 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
132 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
46 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
133 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, ...
1
vote
0answers
66 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
163 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
32 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 ...