**2**

votes

**1**answer

101 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

137 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

92 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

82 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

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

**2**

votes

**1**answer

131 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

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

**1**

vote

**0**answers

69 views

### Cauchy Problem and stochastic representation for discontinuous initial data

Where can I read more about the Cauchy problem, i.e. solutions to
$$ \frac{\partial u}{\partial t}+Lu=0 \text{ and } u(0,x)=f(x)$$
for some elliptic differential operator $L$ where $f$ is not ...

**1**

vote

**0**answers

85 views

### $H=W$ for weighted Sobolev spaces

Meyers and Serrin's $H=W$ is well known, but how does it generalize when we add weights?
Let's define $H^{m,p}(\mu_0,\dots,\mu_m)$ to be the completion of $C^\infty(\Omega)$ in the norm
...

**2**

votes

**0**answers

69 views

### How analyze the following fully nonlinear equation

Now I want to consider the following pde
$u_t(x,t)=\sigma(x,t)(1+|D_xu(x)|^2)^{1/2}$, with initial condition $u(x,0)=g(x)$ which is analytic, and on domain $D\times \mathbf{R}^{+}$, $D\subset ...

**0**

votes

**1**answer

99 views

### Which is the smallest space $X\subset L^{2}$ where the conservation law holds in the norm of $X$?

We formally write the solution of nonlinear Schrödinger equation (NLS) as follows:
$$u(t)= U(t-t_{0}) u_{0}- i \int_{t_{0}}^{t} U(t-\tau) (|u|^{2}u(\tau)) d\tau;$$
where $U(t)= e^{it\Delta} $(free ...

**4**

votes

**0**answers

82 views

### How do solutions of a PDE depend on parameters?

Let $\Omega\subset\mathbb R^n$ be a bounded smooth domain and $\sigma_1,\sigma_2:\Omega\to(c^{-1},c)$ measurable (for some constant $1<c<\infty$).
Let $f\in ...

**1**

vote

**0**answers

60 views

### Existence for special Dirichlet problem

I would like to know the following: Let $M$ be a smooth surface with connected boundary. Let $f: M \rightarrow \mathbb{R}^3$ be an embedding such that the boundary $\partial M$ of $M$ is mapped onto ...

**0**

votes

**1**answer

176 views

### Sobolev's lemma on manifolds

Let $M$ be a n-dimensional closed submanifold in $\mathbb{R}^m.$ I was looking for a version of Sobolev's lemma saying that for $f \in {W}^{k,2}$ we find a representative of $f \in C^{r}$ satisfying ...

**3**

votes

**1**answer

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

**5**

votes

**3**answers

364 views

### Structure of sign changes under the heat flow

Let $f$ be a smooth function on $R^2$, and define $N_f$ to be the set of points $p$ such that the nodal set of $f$ ($\{x\in R^2: f(x)=0\}$) divided every neighborhood of $p$ into four regions. Indeed, ...

**2**

votes

**1**answer

195 views

### Exact reference for Liouville theorem

It seems hard for me to find that the solution of the following equation
$$
\Delta u+e^u=0
$$
defined on a simply-connected domain $D\subset R^2$ must be of form
$$
...

**1**

vote

**1**answer

95 views

### Nodal sets under the heat flow

Let $u(t,X)$ be a smooth solution of the heat equation on $R^2$
$u_t=\Delta u,$
where $(t,X)\in R \times R^2$. Suppose $\lim_{t \rightarrow 0} u(t,x,y)=x^2-y^2$. Can we prove that the nodal set of ...

**4**

votes

**1**answer

175 views

### Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...

**1**

vote

**0**answers

119 views

### Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as
$$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...

**1**

vote

**0**answers

54 views

### Isolated singularities of harmonic mappings

Can a homeomorphic harmonic mapping $f=(u,v,w):\Omega\to \Omega'$ have isolated singular points. Here $\Delta f =0$, and singular point is a point with zero Jacobian. This will extend Lewy theorem for ...

**2**

votes

**0**answers

99 views

### Uniqueness of solution of elliptic equation with exponential nonlinearity

Consider the following equation
$$\Delta v + p(r)e^v = 0$$ on $\mathbb{R}^n$
where $p(r)$ is a polynomial in $r = |(x_1,..., x_n)|$. I want to understand when equations like these have unique ...

**0**

votes

**1**answer

160 views

### $u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;H)$?

Let $V \subset H$ be a dense and compact embedding. Let $$\lVert u_n\rVert_{L^\infty(0,T;H)} + \lVert u_n \rVert_{L^2(0,T;V)} < C$$ where $C$ is independent of $n$. It follows that eg. $u_n ...

**5**

votes

**1**answer

228 views

### Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...

**1**

vote

**0**answers

69 views

### Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain
$$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$
$$u|_{\partial\Omega} = 0$$
where $a$ is real-valued and satisfies
$C_1 \leq a(r) \leq C_2$ ...

**2**

votes

**1**answer

298 views

### Existence and uniqueness of a quasi-linear pde system on a surface

I have the following system of first order quasi-linear pde:
$$ -(\Delta+1) a^{\alpha\beta} [b_{\beta\rho} I_{\alpha;\sigma}+b_{\beta\sigma} I_{\alpha;\rho}]
+ a^{\alpha\beta} [(\Delta+1) ...

**1**

vote

**1**answer

76 views

### “Schwarz symmetrization” on annulus

If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...

**1**

vote

**1**answer

112 views

### Strong maximum principle for the heat equation in non-cylindrical domains

let $u(t,x)$ be a bounded smooth solution of the heat equation $u_t=\Delta u$, $(t,x) \in R \times R^2$, and let $V \subset (R \times R^2)$ be an open connected component of $\{(t,x) \in R \times R^2: ...

**2**

votes

**1**answer

156 views

### Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$

I want to show:
Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align}
H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N)
\end{align}
is compact.
I was able to show ...

**5**

votes

**2**answers

351 views

### Alternative proof of Varadhan's formula on Riemann manifolds

Consider Varadhan's famous formula for the kernel of the heat equation on a manifold:
$$ \lim_{t \rightarrow 0} t \log h(t,x,y) = - \frac{d(x,y)^2}{4} .$$
I do not have access to his 1967 two ...

**3**

votes

**1**answer

110 views

### Extension of Sobolev Functions

Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
...

**2**

votes

**1**answer

105 views

### Boundary energy estimate of wave equations

Let $D$ be the unit disk in $\mathbb{R}^{n}$, we consider the $n$ dimension wave equation defined on $D$,
$$\square u=F$$
where $\square=\partial_{t}^{2}-\triangle$ is the standard wave operator in ...

**1**

vote

**1**answer

126 views

### Identifying the weak limit of a gradient (Bochner spaces)

Let $X=L^2(0,T;L^2(\Omega))$ for an unbounded domain $\Omega$. Let $f_n, f:\mathbb{R} \to \mathbb{R}$ be functions with $f_n \to f$, $f_n(0)=f(0)=0$ and $f_n$ Lipschitz with Lipschitz constant ...

**2**

votes

**1**answer

79 views

### Does the green kernel converge as a series of functions?

Let $(M,g)$ be a compact rimannian manifold. It is well known that we can diagonalyse the Green kernel as a $L^2$ operator acting on functions. Moreover we have the convergence of the following ...

**0**

votes

**0**answers

62 views

### On Properties Of Lusternik-Schnirelmann Category

I have this part of proof from "Analysis and Topology in Nonlinear Differential Equations" book page 292:
I don't see how we find that $cat(\Omega)\leq cat( N_{\varepsilon}\cap ...

**1**

vote

**0**answers

119 views

### Harmonic extension of $L^\infty$ function is in $L^\infty$?

Let $u \in H^{\frac 12}(\Omega)$ with $\int_\Omega u = 0$ and consider the solution $v \in H^1(C)$ where $C=\Omega \times (0,\infty)$ of
$$-\Delta v(x,y) = 0$$
$$\partial_\nu v = 0$$
$$v(x,0) = ...

**2**

votes

**1**answer

114 views

### Approximation of subharmonic functions

Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
...

**5**

votes

**2**answers

171 views

### Variational formulation of second order equations of the divergence form

Consider the second order operator
$Lu=\partial_i(a_{ij}\partial_j)u+b_i\partial_iu+cu$.
Can we find a functional $I[u]$ such that $Lu$ is the variation of $I[u]$ with respect to $u$? I have ...

**7**

votes

**1**answer

167 views

### Mountain Pass theorem for minimization problems with constraints

Let $I[u]$ be a functional on a (possibly infinite dimensional) Hilbert space. Then, under some conditions, the Mountain Pass theorem guarantees the existence of a saddle point (see ...

**0**

votes

**0**answers

43 views

### Least square problems with binary variables

I want to solve the heat equation $T_t(x,t) = - L_x . T(x,t) + F(x,t)$ in an edge-weighted graph where $L_x = \sum_i x_i e_{ij}$ is weighted Laplacian matrix of the graph. Then I conclude to the ...

**0**

votes

**0**answers

51 views

### The minimizing problem over a sequence of shrinking balls

Let $B(0,r)\subset \mathbb R^3$ be a ball centered at $0$ with radius $r$. Define
$$ \mathcal A_r:=\{u\in H_0^1(B(0,r)),\,\,\|u\|_{L^{q+1}}=1\}$$
where $1<q<5$. Hence we know that each ...

**1**

vote

**0**answers

145 views

### Solution to a PDE with constant data - what is the fault in my proof? [closed]

Let $C=\Omega \times (0,\infty)$. We want to find a solution $v \in H^1(C)$ such that given $u \in H^{\frac 12}(\Omega)$,
$$\int_0^\infty\int_\Omega \nabla v \nabla \varphi + v_y\varphi_y = ...

**1**

vote

**0**answers

41 views

### Finite elements $W^{1,\infty}$ error estimates

Are there finite element method setups that provide error estimates in the $W^{1,\infty}$ norm (i.e., bounds on $\|u'_h - u'\|_\infty$)? Which families of elements can be used for implementing them?

**1**

vote

**0**answers

195 views

### A Lie algebra associated with a one dimensional foliation

A non vanishing vector field $X$ on a manifold is called "well behaved" if for every non vanishing smooth function $f$ we have $$C(X)\simeq C(fX)$$ This means that the centralizer Lie algebras ...

**2**

votes

**1**answer

87 views

### Space of p-harmonic functions

Let $\Omega \subset\mathbb{R}^d$, $d \geq 2$, be a sufficiently nice set to make the following question meaningful.
I am interested in the space of p-harmonic functions on $\Omega$; that is, the ...

**0**

votes

**1**answer

117 views

### Uniform $L^p-L^{p'}$ bound of a Fourier multiplier

Let $(\tau,\xi)\in\mathbb{R}\times \mathbb{R}^n$, and consider the function
$$
m_{\epsilon}(\tau,\xi)=\frac{1}{\tau+|\xi|^4+\epsilon|\xi|^2+i}
$$
in $\mathbb{R}^{n+1}$. My first question is that does ...

**0**

votes

**0**answers

52 views

### Linear elliptic estimates

i am interested in solutions of the following
$$-\Delta \phi =f \; \; \; A_\lambda, \qquad \phi=0 \; \; \partial A_\lambda,$$ where $ A_\lambda=\{ x \in R^N: \lambda <|x|<1 \}$ with $ ...

**7**

votes

**0**answers

286 views

### Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?

Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...

**1**

vote

**0**answers

54 views

### Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...

**1**

vote

**0**answers

138 views

### Help in understanding “Local well-posedness for the Maxwell-Schrodinger system”

Is there someone who knows the following paper
"Local well-posedness for the Maxwell-Schrodinger system" by M.Nakamura and T.Wada.
I'm trying to study it but I've some doubts. In particular I'm not ...