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

0
votes
0answers
87 views

Boundary conditions for Klein-Gordon equation [closed]

Let us consider the Klein-Gordon equation $$(\Box +m^2)u=0,$$ where $u$ is a scalar valued function, $m\geq 0$, $\Box=\frac{\partial^2}{\partial x_0^2}-\sum_{i=1}^d\frac{\partial^2}{\partial x_i^2}$. ...
0
votes
0answers
44 views

Showing that $|F(x,p)|+\left|\frac{\partial F}{\partial x} \right|+\left|\frac{\partial F}{\partial p} \right| < C \exp[-(|x-pt|+|p|)]$

Given: $F(x,p,t)=F_0(X(x,p,t),P(x,p,t))$, $$|F_0(x,p)|+\left|\frac{\partial F_0}{\partial x} \right|+\left|\frac{\partial F_0}{\partial p} \right| < C \exp[-(|x|+|p|)],$$ and $|P-p|<C$, $|X-(x-...
12
votes
1answer
836 views

Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde: $$\partial_{[\nu}\Gamma^\kappa_{\mu]\lambda}+\Gamma^\kappa_{[\nu|\rho|}\Gamma^\rho_{\mu]\lambda}=\frac{1}{2}R_{\mu\nu\...
4
votes
1answer
430 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(s) \times \mathbb R/\mathbb Z(t) \to \mathbb R$, $f = f(s,t)$, is the ...
1
vote
0answers
54 views

Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation

It shall be an old story in PDE. I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of $$\inf_{a \in [-1,1]} \{...
0
votes
0answers
39 views

Conservation of charge and energy in the Schrödinger equation

In Cazenave's Semilinear Schrödinger Equation, page 56, he describes derivation of conservation of charge and energy of the equation $iu_t+\Delta u+|u|u=0$, ($\alpha=\lambda=1$ and $n=3$, if referring ...
5
votes
1answer
70 views

Existence of solutions of $\Delta u = f$ such that $|u|_{L^\infty} < \infty$ if $|f|_{L^\infty} < \infty$

I am struggling with figuring out the details of Proposition 7.1. in the paper Curvature and Uniformization - R. Mazzeo and M. Taylor. Setting is as follows. Let $\Omega$ be a noncompact Riemann ...
4
votes
3answers
481 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 f|^{2}...
3
votes
0answers
45 views

A priori $C^0$ estimates for a semi-linear vector Poisson equation

Main Question Consider a $C^2,H^2$ map $F:\mathbb{R}^m \to \mathbb{C}^n$ which satisfies the following equation: $$ -\Delta F(x) + \sum_i a_i(x)\nabla_iF(x) + B(x)F(x) + |F(x)|^2F(x) = 0 $$ Here $a_i:...
0
votes
0answers
69 views

Compact Embeddings [on hold]

Put: $D=\{u\in L^{2}(\mathbb{R}^{2})| N=(x\frac{d}{dy}- y \frac{d}{dx})u\in L^{2}(\mathbb{R}^{2}) \}$ Why $D \hookrightarrow L^{2}(\mathbb{R}^{n})$ with compact injection? Thank you in advance.
1
vote
0answers
16 views

The jump set of $SBV$ function for different value of parameter in image denoising problem

The classical Mumford-Shah image denoisng problem study the minimizer of the following functional, for each $\alpha>0$ where $\Omega\subset \mathbb R^2$ is open bounded with sommth boundary, $$ u_\...
1
vote
1answer
187 views

Reference for holder estimate on parabolic equation with neumann boundary condition

I saw a type of holder estimate in Friedman's book: partial differential equations of parabolic type(page 200 3.24) as following: Suppose we have a uniformly parabolic equation with holder ...
4
votes
0answers
62 views

I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection

I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...
3
votes
0answers
42 views

Conservation laws for modified Degasperis-Procesi equation

It is known that the Korteweg-de Vries equation $$u_{t}+uu_{x}+u_{xxx} = 0,$$ with $u=u(x,t)$ smooth and with period equal to $L$, has important conservation laws, namely, $$E(u)=\frac{1}{2}\int_{0}^{...
0
votes
0answers
60 views

why $\varphi''\in L^{2}(R)$ [closed]

I have the following question: Let $T_{c}$ be an unbounded operator with domain $D(T_{c})=\{u\in L^{2}(R), T_{c}(u)\in L^{2}(R)\}$. If $\forall \varphi \in \mathcal{C}^{\infty}_{0}(R): \|\varphi''\...
5
votes
1answer
70 views

Decay estimates for wave and Klein-Gordon equation in “generic” curved backgrounds

Consider a $d$-dimensional smooth Lorentzian manifold $(M,g)$ (we assume $d\geq 3$, $M$ to be Hausdorff, paracompact and connected, hence second-countable, and that the signature convention of $g$ is $...
0
votes
0answers
50 views

estimate of smallest eigenvalue of Schrodinger operator

I am looking for references on estimate of first nonzero Dirichlet eigenvalue for Schrodinger operator $-\Delta + V$, if sharp bounds exist, that would be better, here for simplicity, we can assume ...
2
votes
1answer
93 views

$H^1$-continuity of Laplace's equation with respect to boundary data

Let $\Omega\subset \mathbb{R}^d$ be open and bounded with $C^\infty$ boundary $\partial\Omega$, $\phi\colon \partial\Omega \rightarrow \mathbb{R}$ continuous and $u^\phi$ the solution to Laplace's ...
1
vote
0answers
45 views

How much can the integrability at zero tell about the decay rate around zero? [migrated]

Suppose that $g$ is a continuous, nonincreasing and nonnegative function on $(0,1)$. The question is whether one can characterize the integrability of such functions at zero by their decay rates at ...
1
vote
1answer
64 views

The dependence of constant in a trace theorem on the diameter of domain

The trace theorem says for a nice domain, say bounded Lipchitz domain, $\Omega$, we have $$\left\Vert Tu \right\Vert_{H^{1/2}(\partial \Omega)} \leq C \left\Vert u \right\Vert_{H^1(\Omega)},$$ where $...
35
votes
8answers
4k views

Motivation for and history of pseudo-differential operators

Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
2
votes
1answer
55 views

IBVP with transformed boundary conditions

I am trying to use the following result Theorem: A pde of the form $$\frac{\partial w}{\partial t} = F\{x, \frac{\partial w}{\partial x},\frac{\partial^2 w}{\partial^2 x}\}$$ has an ...
3
votes
1answer
185 views

Critical case of Sobolev Embedding

I got stuck in the following lemma: Lemma: Let $B$ be the unit ball in the 4 dimensional Euclidean space. Suppose that $u\in W^{2,2}(B)$, then $e^{u}\in L^{q}$ for any $q>1$. As we know this is ...
5
votes
1answer
198 views

finding subharmonic function on the ball with both Dirichlet and Neumann boundaries prescribed

I have a question which looks like some sort of inverse problem. Let $B$ denote the unit ball centered at the origin in $R^N$ (take $N \ge 2$). Given any $h:\partial B \rightarrow (0,\infty)$ (smooth) ...
1
vote
0answers
44 views

Mean Value Property for harmonic functions [migrated]

I would appreciate any insights on this matter; Let us consider the mean value property for harmonic functions in three dimensional euclidean space. This suggests that the value of a harmonic ...
8
votes
1answer
293 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
2
votes
1answer
81 views

Step 2 of The Strichartz's Estimates in Cazenave's Book

My question is from Cazenave's book "Semilinear Schrödinger Equation", page 35. I am stuck with Step 2 of the Strichartz's estimates. The book says that $||\Phi_f(t)||_{L^2}^2=\left(\int_0^t \...
0
votes
1answer
123 views

a condition for Laplacien

Let $u\in L^{2}(R^{2}) $ with $-\Delta(u) -c (x^{2}+y^{2})u \in L^{2}(R^{2})$ where $c>0$. Is true $-\Delta u \in L^{2}(R^{2})$? Thank you in advance.
0
votes
0answers
64 views

Solving a system of Laplace equations

Let $u_0$ and $u_1$ to be smooth functions defined on $\Omega\subset\mathbb{R}^n$, consider the following system of equations $$\triangle u_1 = C_1(\partial_{ij}u_0),$$ $$\triangle u_0 = C_0u_1,$$ ...
2
votes
1answer
242 views

upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here. You can skip examples below and read from "General setting" at ...
4
votes
1answer
71 views

weak convergence in $H_0^1$ and strong convergence in $L^2$

I'm reading a hand-waving argument in a proof of Chapter 7 of the Navier-Stokes Equations by Constantin and Foias. I would like to know if I understand it correctly. Let $\Omega\subset{\mathbb{R}^n}$ ...
1
vote
0answers
61 views

Method of characteristic for a system of first order PDEs

I am working with this system of first order PDEs: \begin{equation} \left\{ \begin{aligned} %Suscettibili &\frac{\partial{S}(a,t)}{\partial{t}} + \frac{\partial{S}(a,t)}{\partial{a}}= -\lambda(a,...
11
votes
1answer
163 views

Harmonic analysis, compute that this integral tends to $0$

We have the following setting. $U$ is a bounded Lipschitz domain in the complex plane. Consider the following classical Dirichlet problem for the Laplace operator: $$\begin{align} \Delta{}u&=0 \...
2
votes
1answer
323 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 ...
5
votes
1answer
296 views

Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$. Then we know that the eigenvalues of $-\Delta$ form an ...
4
votes
0answers
142 views

Contact manifolds and pseudodifferential operators

By way of background, I am currently trying to understand the theory of pseudodifferential operators in the context of contact geometry. I have some knowledge of pseudodifferential operators on ...
2
votes
1answer
110 views

Does $u_{t}=g(t)u_{x}^{2}$ blow-up for bounded positive g? What about $u_{t}=u_{xx}+g(t)u_{x}^{2}$?

My original problem is to see if the following pde develops blow-ups in $(-L,L)$ $$u_{t}=u_{xx}+g(t)(u_{x})^{2}$$ for periodic boundary $u_{0}(-L)=u_{0}(L)$, where $0<g(t)<1$; specifically $g(...
4
votes
0answers
69 views

Equivalence between Sobolev norm and Sobolev-Slobodeckij norm for $W^{s,p}(\Omega)$ when $s$ is an integer

Take $W^{1,2} = H^1$ for example. If we still use Slobodeckij norm (which is normally defined for a fractional Sobolev space) as follows for a $u\in H^1(\Omega)$ with the exponent being in integer: $$ ...
9
votes
0answers
239 views

Are harmonic mappings of Riemannian manifolds always non-singular outside a set of measure zero?

Let $(M,g)$ be an $n$-dimensional, connected, compact, oriented, smooth Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to \mathbb{R}^n$ (note that $n=\dim M$). Let $...
7
votes
1answer
274 views

Level sets of weakly differentiable funtions

Let $C$ be a $C^1$ hypersurface in $R^n$ and let $u \in C^1(R^n)$. Suppose $$\nabla u(x) \cdot \eta(x)=|\nabla u| \ \ \forall x\in C$$ where $\eta(x)$ is the normal vector to $C$ at $x$ ($\nabla u$ ...
1
vote
1answer
142 views

Lipschitz functions and $W^{1,\infty}$

I am not sure my question is research type, but I am sure I can find here an answer. So we have the following theorem in the book of Lawrence Evans in PDE, 2nd edition pages 294-295: Theorem 4 (...
9
votes
3answers
2k views

Characterization of inverse differential operators

If I have a partial differential operator $p(D)$, where $p$ is a polynomial with constant coefficients and $D$ is the derivative in Euclidean space. Its inverse is easily described in Fourier space: $\...
0
votes
0answers
63 views

existence of an initial-boundary value problem with nonhomogeneous boundary conditions

Let $n\geq 2$ be an integer and $\Omega\in R^n$ be a bounded domain with boundary $\partial\Omega$ . Consider the following IBVP: $u_t=\Delta u$, for $x\in \Omega$, $t>0$; $u(x, 0)=f(x), x\in\...
4
votes
1answer
167 views

Density argument with Schwartz functions?

I was wondering whether the Schwartz functions are also dense in $$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$ ...
1
vote
1answer
103 views

Elliptic regularity and inhomogeneous Neumann boundary condition

Consider a harmonic function $u$ defined on $D : = \{ (x, y) \in \mathbb{R}^2 | (x, y) \in \overline{B(0, 2)}, y \geq 0\}$, that is, the closed upper half ball centered at $0$ and radius $2$. Let $u$ ...
1
vote
1answer
256 views

Reference to the Existence and Uniqueness of the PDE system

I've the following Problem on systems of Partial Differential Equations. I have "$ N $" Physical variables. and Finally I form the equation on a bounded domain having regular boundary in $R^d$ ($d=2$...
1
vote
0answers
42 views

Dirichlet conditions - Proof of theorem $4$ [migrated]

I have a few difficulties understanding the first part (Dirichlet conditions) of the proof of theorem $4$ in the book Strauss W.A. Partial differential equations - an introduction (Wiley, $2008$, $2$...
0
votes
0answers
71 views

compact injection

Put: $D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$ Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...
0
votes
0answers
44 views

stokes-equation estimate in $L^2(0,T,L^\frac{3}{2}(\Omega))$

I'm interested in the default Stokes-system, e.g. $ \frac{\partial}{\partial t} u - \Delta u + \nabla p = f \; \text{in} \; \Omega$ $ \nabla \cdot u = 0 \; \text{in} \; \Omega$ $ u = 0 \; \text{on} ...
2
votes
1answer
99 views

Is the Lopatinski-Shapiro condition invariant under diffeomorphism?

If a PDE (eg. the heat equation with Robin BCs, or the elliptic version) on a bounded smooth domain $U$ satisfies the Lopatinski-Shapiro condition (for a definition see eg. Wloka), and if $T:U \to W$ ...