**0**

votes

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**3**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**8**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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$ ...