# Tagged Questions

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

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

**3**

votes

**0**answers

44 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

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

**1**

vote

**1**answer

89 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

111 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

85 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

51 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

213 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

64 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

49 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

56 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

65 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

165 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

109 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

50 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

188 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

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

**11**

votes

**2**answers

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

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

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

**0**

votes

**1**answer

74 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

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

**5**

votes

**1**answer

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

**7**

votes

**0**answers

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

**3**

votes

**2**answers

122 views

### Many-Body Green's Functions for Interacting Systems of Fermions

I've recently been trying to compute the Green's function for a non-interacting system of fermions. Since this is a site for mathematicians, for context, let me provide the following definition:
...

**6**

votes

**2**answers

188 views

### Epsilon regularity for minimal surfaces in arbitrary Riemannian manifolds

For experts in the analysis of minimal surfaces I will state the question first; then I will follow up with details.
Question: Does the $\varepsilon$-regularity theorem of Choi and Schoen ...

**1**

vote

**0**answers

30 views

### Biharmonic Equation in a Rectangle with Some Uncommon Boundary Conditions

I asked this question on Mathematics network but it didn't receive any answers. So I assume it is just beyond the classic things in PDEs and I decided to ask it here too.
Consider the following ...

**1**

vote

**3**answers

140 views

### Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]

Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in ...

**3**

votes

**1**answer

53 views

### Does there exist any subsequence $(u_{n_k})$ converging strongly in $L^q(\mathbb{R})$, for any $1 \le q \le \infty$? [closed]

Fix a function $\varphi \in C_c^\infty(\mathbb{R})$, $\varphi \not\equiv 0$, and set $u_n(x) = \varphi(x + n)$. Let $1 \le p \le \infty$. Does there exist any subsequence $(u_{n_k})$ converging ...

**0**

votes

**0**answers

64 views

### Boundedness of a function that satisfies a PDE-type inequality

Let $\Omega$ be a bounded Lipschitz domain, and let $u\colon[-T,0]\times \Omega \to \mathbb{R}$ be a function with $u(-T)=0$.
Suppose that
$$\sup_{-T \leq t \leq 0} \int_\Omega |(u(t)-k)^+|^2 + ...

**2**

votes

**1**answer

64 views

### Exactly solvable examples of diffusion equation with variable diffusivity?

There are many examples of potentials $V(x)$ for which Schrodinger's equation for a single particle in one dimension is exactly solvable, in the sense that we can give "nice" expressions for the ...

**4**

votes

**2**answers

112 views

### existence of a special conformal mapping

Sorry I don't know how to give an appropriate title.
In the complex plane, suppose there is a graph $x+if(x)$ separating the plane into two unbounded components, where $f(x)$ is smooth and bounded, ...

**50**

votes

**2**answers

3k views

### Recent observation of gravitational waves

It was exciting to hear that LIGO detected the merging of two black
holes one billion light-years away. One of the black holes had 36
times the mass of the sun, and the other 29. After the merging the
...

**1**

vote

**0**answers

51 views

### Suggestion for books in Pertubation theory with an emphasis on the theory

As the title suggest I am looking for another good coverage of the theory of Pertubation theory.
Currently I am working through Murodock's book: Pertubations: Theory and Methods.
But I am rest assure ...

**8**

votes

**2**answers

303 views

### Poincaré lemma for distributions

Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form
$$
u=\sum_{1\le j\le n} u_j dx_j,\quad ...

**2**

votes

**0**answers

108 views

### How does the $L^\infty$ norm of the solution of $-\Delta u + \lambda u =0$, $\partial_\nu u=\alpha$ depend upon $\alpha$ and $\lambda$?

Let $\lambda > 0$ be a constant and let $u$ be the weak solution on a bounded domain $\Omega$ of
$$-\Delta u + \lambda u = 0 \quad\text{in $\Omega$}$$
$$\partial_\nu u = \alpha \quad \text{on ...

**1**

vote

**0**answers

73 views

### Wave-like equation with 1st order time derivative and non-constant coefficients

We start with the following recurrence relation for complex coefficients $c_{n,m}$:
$$i\dot{c}_{n,m}(t) = \sqrt{(n+1)(n+2)(m-1)m}c_{n-2,m+2} + \sqrt{n(n-1)(m+1)(m+2)}c_{n+2,m-2}$$
where ...

**2**

votes

**1**answer

63 views

### If $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$, then is $u \in L^\infty(0,T;X_1)$?

Let $X_0 \subset X_1 \subset X_2$ be continuous embeddings, with $X_0 \subset X_1$ compact.
Suppose $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$.
Is then $u \in L^\infty(0,T;X_1)$?
To apply ...

**1**

vote

**1**answer

115 views

### $L^1$ convergence to equilibrium of solutions of heat equation

Let $u$ and $v$ be the weak solutions of
$$u_t - \Delta u = f$$
$$u(0)=u_0$$
and
$$-\Delta v = f$$
$$|\Omega|^{-1}\int_\Omega v =0$$
on a bounded domain $\Omega$, where $u$ and $v$ satisfy homogeneous ...

**2**

votes

**0**answers

150 views

### $L^\infty$ bound on solutions of linear parabolic equations

We work on a closed Riemannian manifold $M$. Let $u$ and $v$ be the non-negative weak solutions of
$$au_t - 2d\,\Delta au = cv - f$$
$$bv_t - d\,\Delta bv = f$$
$$u(0)=u_0, \quad v(0)=v_0$$
where $f$ ...

**0**

votes

**1**answer

100 views

### In the proof of the existence of weak solutions to the NSE

In the proof of the existence of weak solutions to the NSE (Navier-Stokes Equations by Constantin and Foias, Chapter 8), the following argument is made:
Let $u_m$ converges weakly to $u$ in ...

**0**

votes

**0**answers

19 views

### Potential theory solution for Variable coefficient Poisson with Dirichlet Boundary conditions

I am looking for a potential theory representation for the following equation in $2$D:
$$\vec{\nabla} \cdot \left(a(x) \vec{\nabla}u\right) = 0 \,\, \forall x \in \Omega \,\, (\spadesuit)$$
$$u = g ...

**1**

vote

**0**answers

64 views

### Boundary regularity of solution to partial differential equation

I am conducting research on partial differential equations and I need a short-time existence result from the literature which I can not find at the moment. More precisely I would like to know the ...

**2**

votes

**1**answer

112 views

### The inverse of Laplacian operator for different orders

I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you!
Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open ...

**0**

votes

**1**answer

68 views

### Linearized stream function

I am trying to work through a paper Instability in Parallel Flows Revisited by Friedlander and Howard, and there are a couple steps in the beginning that I do not understand. I apologize in advance ...

**2**

votes

**2**answers

199 views

### Double-layer potentials on Riemannian manifolds

Let $M$ be a compact Riemannian manifold, and let $S \subset M$ be a smooth hypersurface which divides $M$ into two domains $D_1$, $D_2$. Let also $g \colon S \to \mathbb R$ be a smooth function ...

**2**

votes

**1**answer

150 views

### Continuity + $H^1$ + Laplacian control $ \implies$ local Lipschitz property

Consider a continuous $H^1$ function $u$ on a bounded open set $\Omega \subset \mathbb{R}^n$. We additionally have that $|\Delta u|^2 \leq c |\nabla u|^2$ pointwise on $\Omega \setminus \Sigma$, where ...