# Tagged Questions

**1**

vote

**0**answers

26 views

### The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...

**0**

votes

**0**answers

76 views

### Weak formulation of a nonlinear problem with test functions in a dense subspace of $H_0^1$

Let $\Omega\subset \mathbb R^{d=3}$ is a bounded and Lipschitz domain. Let $u\in H_g^1(\Omega)$ satisfy the weak formulation
$$a(u,v)+\int\limits_{\Omega}{f(u)vdx}=0,\,\forall v\in H_0^1(\Omega)\cap ...

**1**

vote

**1**answer

47 views

### leray schauder fixed point and schauder fixed point

I have seen these 2 fixed point theorem and I think the condition of Leray Schauder fixed point theorem is very strong and we require to consider the fixed point of $u=\sigma Tu$ $\forall \sigma ...

**2**

votes

**1**answer

66 views

### A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to ...

**2**

votes

**2**answers

134 views

### Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies ...

**1**

vote

**0**answers

57 views

### $C^{1,2}$ regularity of (weak) solutions to the heat equation

Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation
$$u_t - \Delta u = 0$$
$$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$
$$u(0) = ...

**6**

votes

**1**answer

161 views

### Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...

**7**

votes

**0**answers

137 views

+50

### Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$).
Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...

**3**

votes

**1**answer

173 views

### How to learn concepts of Functional Analysis which are common in PDE

I am a master student and working in PDE area. I am trying to gain deep understanding of some of the concepts in functional analysis which are common tools in PDE research, such as weak*-topology, ...

**0**

votes

**0**answers

47 views

### Find a estimate for quasilinear parabolic equation

I am studying quasilinear parabolic operator:
$Pu=-u_t+u_{xx}+a(x;t;u,u_x)$ where $(x,t)\in \Omega=(0,\pi)\times(0,T)$ and $za(x,t,z,0)\le kz^2+b$
Suppose that $u$ satisfies: $P(u)=0$ in $\Omega.$
...

**2**

votes

**1**answer

144 views

### Strong maximum principle for heat equation. Positivity of solution

I have a non-negative solution $u \in L^2(0,T;H^1) \cap H^1(0,T;(H^1)')$ of the heat equation
$$u_t-\Delta u =0$$
on bounded $C^1$ domain $\Omega$, with the boundary condition
$$\frac{\partial ...

**0**

votes

**0**answers

52 views

### On the set of times such that $e^{-it\Delta}f\not\in L^6(\mathbb{R}^3)$

Let $e^{-it\Delta}$ the flow of the free Schrodinger equation on $L^2(\mathbb{R^3})$. The (endpoint) Strichartz estimates implies that, given $f\in L^2(\mathbb{R^3})$, $e^{-it\Delta}f\in ...

**2**

votes

**1**answer

169 views

### Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...

**2**

votes

**0**answers

28 views

### Interior regularity for elliptic operators with non smooth coefficients

I need a pretty standard interior regularity result for a second order elliptic operator of the form
$$
-\nabla^b \cdot (A(x) \nabla^b v)+c v=f,
\qquad
\nabla^b=\nabla+ib(x)
$$
where $A(x)$ is a ...

**2**

votes

**1**answer

79 views

### About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...

**5**

votes

**1**answer

106 views

### $L^\infty$ estimate on heat equation with a lower order term

Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of
$$u_t - \Delta u = f$$
$$u(0) = u_0$$
$$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$
...

**2**

votes

**1**answer

145 views

### Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto ...

**2**

votes

**0**answers

57 views

### What is known for harmonic map flow in dimension > 2?

I have been reading about harmonic map flow for maps from a Riemann surface. I presume a lot of the results are specific to 2D as the conformal invariance of the energy is crucial to the arguments. ...

**2**

votes

**0**answers

38 views

### Can we say translation/dilation of the $L^p-$multiplier is again a $L^{p}-$multiplier?

Suppose that $m:\mathbb R \to \mathbb C$ such that
$\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}$ (where $C$ is some constant, $f\in L^{p}$). (That is, $m$ is an $L^{p}-$ multiplier) ...

**2**

votes

**0**answers

40 views

### 1D inhomogeneous linear Schrodinger equation

I have the following problem:
$iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm ...

**2**

votes

**0**answers

44 views

### Conserved quantities for the Cauchy momentum equation

I apologize if this question is too elementary for mathoverflow; I asked it (unsuccessfully) on MATH.SE first.
As a bit of background: one way to study the mechanics of deformation of a continuous ...

**6**

votes

**3**answers

309 views

### Connection between solution for Schrödinger equation and solution for heat equation

It's known, that if you write imaginary unit into a heat equation you'll get time-dependent Schrödinger equation. Recently one guy discovered a connection between solutions for these two equations ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

63 views

### How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?

Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$.
Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in ...

**1**

vote

**1**answer

71 views

### Estimating sums with restrictions to different Frequencies

I have problems understanding two (for my research important) details in the Proof of Theorem 4 (page 14) in this paper: http://arxiv.org/abs/1209.1518. Notation is very straightforward and is found ...

**1**

vote

**0**answers

64 views

### An H2 estimate for Helmholtz equation

How to show the following statement?
Let $\Omega$ be a bounded Lipschitz convex domain. If $u$ satisfies the following equation,
$$
-\Delta u - k^2 u = f \quad\mbox{ in }\Omega \\ \nabla u ...

**1**

vote

**2**answers

77 views

### Nonlinear PDE for a 2D foliation

I am trying to solve a 4th order nonlinear PDE for a real function $u(x,y)$ of two variables. It is too complicated to reproduce here but it exhibits the following two very nice properties:
1) if ...

**1**

vote

**0**answers

42 views

### Characteristic field

On page 423 of the paper by Lions and Perthame, the authors write as equation (39) the Vlasov equation as
$$\frac{\partial f}{\partial t} + v \cdot \nabla_x f + F \cdot \nabla_v f = -E_1 \cdot ...

**26**

votes

**1**answer

540 views

### A long-lasting conjecture of Pólya & Szegő

There is a conjecture by Pólya & Szegő (~1950) which is as follows:
"Of all $n$-gons of a fixed area, the regular $n$-gon minimizes the first Dirichlet eigenvalue."
Surprisingly, this is still ...

**4**

votes

**0**answers

88 views

### Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$

Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...

**2**

votes

**0**answers

65 views

### Getting an a priori energy estimate from PDE weak formulation

On a bounded domain $\Omega$, I have two functions $u$ and $v$ in $L^2(0,T;H^1(\Omega))\cap H^1(0,T;(H^1(\Omega))^*)$ satisfying
$$\frac{d}{dt}\int u^2 + c_1\int |\nabla u|^2 + n\int u^2 \leq n\int ...

**1**

vote

**0**answers

29 views

### About the “method of lines”: when are such solutions good approximations for **all** future time?

This question is about approximate solutions to some classes of PDEs obtained using the "method of lines".
For example, for an initial-value problem given by a PDE on a circle, one can choose $n$ ...

**1**

vote

**3**answers

121 views

### Ill-posedness of a generalized heat equation

Suppose we have the following one-dimensional generalized heat equation:
$$u_t(x,t)=g(x,t)\Delta u(x,t) \ \ \ x∈ℝ,t∈(0,∞)$$
I need to prove that this equation is ill-posed, for some initial data ...

**2**

votes

**1**answer

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

**0**

votes

**0**answers

32 views

### Stability of a nonlinear heat PDE

I have the following PDE:
$$u_t = u_{xx} , u(x,0)=1 , u_x(0,t)=0 , u_x(1,t)=-hu^4(1,t) , h>0$$
And I want to check is it stable, i.e do we have constants $\alpha , K$ independent of $u(x,0)$ s.t ...

**1**

vote

**1**answer

63 views

### Different Besov-Norm Definitions

first some notation: $\langle x\rangle=\sqrt{1+x^2}$, $P_{j}$ is the Littlewood Paley Projector and $P_{\leq0}$ corresponds to the small frequencies.
I have a the following definition of the Besov ...

**1**

vote

**0**answers

141 views

### How to solve Schrödinger equations with potential $|x|^{2}$ [closed]

We consider the initial value problem (IVP):
$i \frac{\partial}{\partial } u(x,t) \pm (\Delta \pm |x|^2) u(x,t)=0$
and
$u(x,0)= u_0(x)$, where $x,t \in \mathbb R, \Delta$ is the Laplacian.
My ...

**2**

votes

**1**answer

74 views

### Strongly continuous semigroups and symbols of pseudo differential operators

I am considering the Cauchy IVP for the evolution equation
$$u_t + \Psi u =0$$
where $\Psi$ is a linear pseudo differential operator with symbol $\widehat{\Psi}\left(\underline{\xi}\right)$.
The ...

**1**

vote

**1**answer

112 views

### Harmonic/Subharmonic lifting of functions on an annulus

Suppose $\Omega_1, \Omega_2 \subset R^2$ are bounded open regions with $\Omega_1 \Subset \Omega_2$. Let $f_1\in C(\partial \Omega_1)$ and $f_2\in C(\partial \Omega_2)$. Is there a function $h\in ...

**3**

votes

**1**answer

144 views

### How to use Gronwall's inequality? [closed]

I am just trying to understand the role of Grownwall's Lemma to show global wellposedness results, in the paper I have been reading. And So I hope this is OK for MO.
Let $u\in C(\mathbb R, ...

**2**

votes

**1**answer

76 views

### How to find the eigenvalues equation of this PDE problem

Given the problem:
$$(\kappa(x)X^{'})^{'}+\lambda\rho(x)X=0$$
for $0<x<l$ with $X(0)=X(l)=0$
where $\kappa(x)=\kappa_{1}^{2}$ for $x<a$, $\kappa(x)=\kappa_{2}^{2}$ for $\kappa>a$. ...

**0**

votes

**0**answers

57 views

### Sobolev function and capacity

It seems that there is a theorem which claims that
If $u\in L_1^2(B_1\setminus T)$ and $T\subset B_1$ is of capacity zero (in some sense, since the author says $(1,2)$-capacity, of which I don't ...

**1**

vote

**0**answers

109 views

### Equation of the form $\overline{\partial}_{J}f=g$ made holomorphic

In section 2.6 of the book "Holomorphic curves in symplectic geometry" by Audin and Lafontaine there is explained when one can transform a perturbed holomorphic curve in a holomorphic curve. I tried ...

**0**

votes

**0**answers

64 views

### Hausdorff dimension and Hausdorff measure

Let us consider a curve $E\subset \mathbb{R}^2$ which is a $(\delta,R)$- Reifenberg flat domain and suppose also that it holds the following estimate on the Hausdorff dimension:$\mbox{ ...

**1**

vote

**0**answers

28 views

### Vector fields for volumetric-deviatoric decomposition

The strain tensor $\epsilon(u) = \frac12 (\nabla u + (\nabla u)^T)$ in linear elasticity can be decomposed additively into volumetric and deviatoric strains
\begin{gather*}
\epsilon_D(u) &= ...

**8**

votes

**2**answers

375 views

### $L^\infty-L^2$ smoothing for heat equation on manifold using Nash-Moser-De-Giorgi technique

Let $M$ be a compact and closed smooth Riemannian manifold, and consider weak solution $u$ of the equation
$$u_t - \Delta u = f$$
given $f \in L^2(Q)$ and $u(0)=u_0 \in L^\infty(M)$.
I'm looking for ...

**3**

votes

**0**answers

111 views

### Distance to the level sets of an almost linear function

While reading about the almost-splitting theorem of Cheeger and Colding, I thought about the following question, which asks about wether the level sets of a function which is close to being a linear ...

**1**

vote

**0**answers

60 views

### Properties of a Sobolev bound

I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...

**2**

votes

**1**answer

102 views

### Strichartz Estimates for radial Klein-Gordon equation

I'm trying to prove global wellposedness for the Klein-Gordon-Equation with radial initial data. I'm therefore searching for/trying to prove strichartz estimates of the form: $$ ||e^{it\langle ...

**0**

votes

**1**answer

79 views

### Explicit solution for one-dimensional Gelfand problem

I wonder if the ODE
$y''+e^{y}=a$
can be solved explicitly. For $a=0$, it is well-known that there is a two-parameter family of explicit solutions
$y=\ln(2)-2\ln(\cosh(cx+d))+2\ln(c)$, $c,d \in ...