**3**

votes

**0**answers

52 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

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**0**answers

55 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

**0**answers

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

**1**answer

107 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

**2**answers

88 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

**0**answers

78 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

**0**answers

122 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

**0**answers

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

**0**answers

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

**3**

votes

**1**answer

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

**0**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

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

**0**answers

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

**2**answers

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

**10**

votes

**3**answers

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

**1**

vote

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**

votes

**0**answers

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

**2**

votes

**1**answer

175 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

**1**answer

48 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

**0**answers

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

**1**answer

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

**0**

votes

**1**answer

76 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) ...

**4**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**answers

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

**6**

votes

**1**answer

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

**1**

vote

**0**answers

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

**2**

votes

**2**answers

161 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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**-1**

votes

**1**answer

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

**3**

votes

**3**answers

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

**0**

votes

**0**answers

46 views

### inflow/outflow Boundary Conditions for flow in pipe

I have a question about boundary condition of solving Navier-Stokes equation through pipe.
When I simulate the flow in pipe using periodic boundary condition, it works good. But when I tried to change ...

**0**

votes

**0**answers

28 views

### On a remark regarding to initial-boundary elliptic estimate

In the paper "On the motion of the free surface of a liquid" see [CL], the authors proved the initial boundary elliptic estimate (proposition 5.28)
$$
||\nabla^r q||_{L^{2}(\Omega)}+||\nabla^{r-1} ...

**2**

votes

**1**answer

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**0**

votes

**0**answers

79 views

### if $u_\epsilon \rightarrow u$ weakly in $L^2$ then also $\partial_t u_\epsilon \rightarrow \partial_t u $ weakly in $L^2$

I am looking for a citation of the above claim, I am not sure under what conditions on the sequence $u_\epsilon$ exactly this applies. $u_\epsilon$ is a sequence of functions that depend on $x,t$ ...

**5**

votes

**2**answers

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

**1**

vote

**1**answer

109 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) = ...

**0**

votes

**0**answers

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