**1**

vote

**1**answer

78 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

69 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

83 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 $u(...

**1**

vote

**0**answers

61 views

### Characteristic field

On page 423 (page 9 of PDF) 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 = -...

**25**

votes

**1**answer

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

**7**

votes

**0**answers

105 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

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

**1**

vote

**0**answers

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

**2**

votes

**4**answers

185 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), \quad x\in \mathbb{R},t\in(0,\infty).$$
I need to prove that this equation is ill-posed, for ...

**2**

votes

**1**answer

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

**0**

votes

**0**answers

35 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

67 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

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

**3**

votes

**1**answer

85 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

126 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 H^1(\...

**3**

votes

**1**answer

153 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, L^{2})$...

**2**

votes

**1**answer

84 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$. $\rho(x)=...

**0**

votes

**0**answers

60 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

112 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

78 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{ dim}_{\mathcal{...

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

415 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

118 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

62 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

128 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 D\...

**0**

votes

**1**answer

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

**3**

votes

**0**answers

51 views

### Prescribed curvature problem of a connection beyond the real analytic category for $SL(3,R)$ bundles?

With reference to the questions Does the Riemann-Christoffel curvature determine the connection? and When is a given matrix of two forms a curvature form?, and recalling the following important result ...

**2**

votes

**1**answer

82 views

### Estimates for Klein-Gordon-Equation follow directly from Wave equation Estimates

in this paper http://arxiv.org/pdf/1412.1626.pdf it says that Lemma 3.1/(3.1) follows from Theorem 1.3 in http://arxiv.org/pdf/math/0402192.pdf without extra details. Can somebody please explain that?
...

**0**

votes

**0**answers

40 views

### trace sobolecv inequality for $q=2(n-1)/(n-2)-\varepsilon$ in half space

Can I do the following inequality, for $ u\in D^{1,2}(R^n_+)$, we have
$(\int _{R^{n-1}} |u|^{2(n-1)/(n-2)-\varepsilon}dx')^{\frac{ 1}{2(n-1)/(n-2)-\varepsilon } }\leq C ( \int _{ R^n_+}| \nabla u|^...

**1**

vote

**1**answer

97 views

### Integral representation of the Cauchy problem solution for the heat equation

Consider the Cauchy problem for the heat equation
$u_t=\Delta u$, $u|_{t=0}=\varphi$.
S. Täcklind showed its solution $u$ is unique in the class $|u|\le e^{|x|h(|x|)}$, $|x|>1$, iff $\int_1^\infty \...

**2**

votes

**1**answer

116 views

### $L^p$-bounding inequality [closed]

Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.

**1**

vote

**1**answer

111 views

### $L^p-L^q$ estimates for heat equation - regularizing effect

Where can I find a proof of the following estimate
$$\|S(t)v\|_{L^p(\Omega)}\leq C_{N,p,q} t^{-\frac{N}{2}\left(\frac{1}{q}-\frac{1}{p}\right)}\|v\|_{L^q(\Omega)}, $$
where $1\leq p<q<+\infty$, $...

**0**

votes

**0**answers

52 views

### Trace Theorem for $q< 2(n-1)/(n-2)$

Can I get a trace theorem inequalite for $R^n_+$: For $q\in [2,2(n-1)/(n-2]$,
we have
$(\int_ {R^{n-1} } |u|^q dx) ^{2/q}\leq C(\int_{R^n_+} |\nabla u |^2dx)^{1/2}.$

**3**

votes

**0**answers

283 views

### Funk-Hecke theorem on the complex sphere

I am interested in paper " Sharp constants in several inequalities on the Heisenberg group " of Rupert L.Frank and Elliott H.Lieb " http://arxiv.org/pdf/1009.1410v2.pdf. In this paper ( page 17 ), ...

**0**

votes

**1**answer

73 views

### Proving short time existence for semi-linear parabolic PDE

I am following up on the answer of Denis Serre to this same question here Short time existence on nonlinear parabolic PDE
I have tried to generalise the proof of the Picard-Lindelof theorem, as ...

**2**

votes

**0**answers

50 views

### Constant in a trace Sobolev theorem for concave domains

I wonder is the following inequality is true/known:
Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then
$$
\int_{\partial\Omega} |u|^2 ds
\...

**1**

vote

**0**answers

58 views

### Perturbation in Besov space

$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...

**1**

vote

**1**answer

66 views

### Davey-Stewartson Lagrangian formulation

The system is
$i u_t + c_0 u_{xx} + u_{yy} = c_1 |u|^2 u + c_2 u \phi_x,\,$
$\phi_{xx} + c_3 \phi_{yy} = ( |u|^2 )_x.\,$
This is like the NLS but with the extra y-dimension. The NLS has the ...

**3**

votes

**1**answer

168 views

### How many second-order PDEs can be obtained from a contact EDS?

Let $(M,[\theta])$ be a contact manifold, $\dim M=2n+1$, and denote by $\mathcal{I}^\theta$ the differential ideal generated by the contact form $\theta$.
An exterior differential system on $M$ of ...

**0**

votes

**0**answers

116 views

### Extension of harmonic function with bounded $L^{2}$ norm

Let $h:D\setminus \{0\}\rightarrow \mathbb{R}$ be a harmonic function, where $D$ is the unit disc in $\mathbb{R}^{2}$, with bounded $L^{2}$ norm, i.e. $||h||_{L^{2}(D)}^{2}=\int_{D}|h|^{2}(x,y)dxdy &...

**0**

votes

**0**answers

53 views

### Lp space and zero order Besov space

I want to ask a basic question(may stupid), does the following relation holds:
$$\|f\|_{B^0_{p,p}}\approx\|f\|_{L^p}$$
where, $\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the ...

**6**

votes

**1**answer

197 views

### Simplicity of eigenvalues

Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...

**0**

votes

**2**answers

106 views

### $L^p$ estimates for elliptic equation of divergence form

Consider the scalar elliptic equation of divergence form
$$div((1+a)\nabla\pi)=div F\ \ in\ \ R^3,$$
where $a$ is a Schwartz function with $1+a\geq c=const>0$, $F=(F_1,F_2,F_3)$ is a vector-valued ...

**10**

votes

**2**answers

256 views

### Asymptotic behavior of Sturm-Liouville eigenvalues

I have two questions.
Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$.
Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$...

**1**

vote

**1**answer

141 views

### Is there an algebraic way to characterise the ordinary integral flags?

Fix a vector space $V$ and an integer $1\leq n<\dim V$.
If $\mathcal{I}\subseteq\Lambda^\bullet V^*$ is an ideal, I denote by $\mathcal{I}^i:=\mathcal{I}\cap\Lambda^iV^*$ its $i^\textrm{th}$ ...

**0**

votes

**0**answers

48 views

### Does this Hamilton-Jacobi-Bellman equation have classical solution?

I am not familiar with the nonlinear PDE and want to solve the following following equations:
given $t\in[0,T]$; $\varphi_i > 0$ for $i=1,\dots,7$ are constants; $\int_0^{\infty}f_x(r)\mathrm{d}r=\...

**0**

votes

**1**answer

78 views

### $C^{\infty}_{loc}$-convergence - right definition

Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...

**4**

votes

**0**answers

52 views

### Sobolev spaces defined on non-compact Lie groups

In this post, a question was raised to discuss the generalization of Sobolev spaces on locally compact Lie groups. Now my question is whether there exists a generalization of Sobolev spaces and ...

**7**

votes

**1**answer

100 views

### If $u \in H^1(U)$, then $Du = 0$ almost everywhere on the set $\{u = 0\}$, auxiliary result

Let $\phi$ be a smooth, bounded and nondecreasing function, such that $\phi'$ is bounded and $\phi(z) = z$ if $|z| \le 1$. Set$$u^\epsilon(x) := \epsilon \phi(u/\epsilon).$$Do we necessarily have that$...

**7**

votes

**0**answers

48 views

### Continuous inclusions Sobolev theorem, question [closed]

How do I see that if $f$, $g \in H^s(\mathbb{R}^n)$ for $s > n/2$, then $fg \in H^s(\mathbb{R}^n)$ and$$\|fg\|_{H^s(\mathbb{R}^n)} \le C\|f\|_{H^s(\mathbb{R}^n)}\|g\|_{H^s(\mathbb{R}^n)},$$the ...