**0**

votes

**0**answers

79 views

### Parabolic PDE; uniform bound on approximations $u'_n$ in $L^2(0,T;V^*)$ without using orthogonal basis?

Let $V \subset H \subset V^*$ be a Gelfand triple, all Hilbert and separable spaces.
I consider the PDE with weak form: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that
$$\langle u'(t), ...

**1**

vote

**1**answer

166 views

### Galerkin approximations for parabolic PDE weak solution, getting a uniform bound

(As usual $V \subset H$ are separable Hilbert spaces)
In a book I read this about existence of the solutions to parabolic PDEs:
the approximate solution $u_n(t)$ solves the equation
$$(u_n', ...

**2**

votes

**1**answer

98 views

### Is $R^n$ stochastically complete for the heat kernel of a Schrödinger operator?

Suppose $V:\mathbb{R}^{n} \to \mathbb{R}$ is just a positive polynomial and $K_{t}(x,y)$ is the heat kernel of $H = -\Delta + V$. Then does it follow
$$\int_{\mathbb{R}^{n}} K_{t}(x, \cdot)\,dy = ...

**2**

votes

**0**answers

73 views

### Inclusions between $L^p$ continuous functions and Triebel-Lizorkin spaces

Working in $\mathbb{R}^{d}$, consider on the one hand the space of continuous $L^{p}$ functions (let's use $V$ to denote this space), and on the other the family $\{ F_ {\alpha}^{p, q} \}_{\alpha, q}$ ...

**2**

votes

**0**answers

132 views

### Idea behind distributional solutions

I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read thorugh some papers by DiPerna and Lions concerning the Cauchy Problem ...

**2**

votes

**1**answer

264 views

### Best approach to solve this PDE

I need to solve this Partial Differential Equation for $\lambda(x,y)$,
$$\frac{\partial \lambda}{\partial x} + h(x,y)\frac{\partial \lambda}{\partial y} - \lambda \frac{\partial h}{\partial y} = 0$$ ...

**2**

votes

**0**answers

117 views

### linear operator associated with semilinear elliptic pde

I am reading a paper where at some point they analyse the following linear operator:
$$L_\lambda(\phi)= - \Delta \phi - C_\lambda(x) \phi$$
where $ C_\lambda(x)>0$ (smooth) in $ \Omega$ a bounded ...

**1**

vote

**1**answer

115 views

### metric scaling for an inequality

I read a lemma 1.12 in Tobias H.Colding's paper "Ricci curvature and volume convergence"."Suppose that $Ri{c_{{M^n}}} \ge \left( {n - 1} \right)\Lambda {R^{ - 2}}$,p and $q \in M$ with d(p,q)>8R,and ...

**1**

vote

**0**answers

409 views

### A variation of Poisson's equation in cylindrical coordinates

Our team of undergraduate physicists are familiar with finding numerical approximations to the following Poisson-like PDE central to our plasma research in a torus:
$\nabla^2 V = \frac{f(V)}{R^2}$
...

**2**

votes

**0**answers

98 views

### Regularity of solution of nonlinear equation

Hi!
Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball
$B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$.
Let $f\in C^{0,\alpha}(B_1)$ ...

**1**

vote

**1**answer

156 views

### Reference for: $C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$

If it is true, where may I find a reference/proof for:
$C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$
where $H$ is a Hilbert space.
Thanks

**1**

vote

**0**answers

66 views

### Checking initial condition of PDE is satisfied in Galerkin method

I asked this question here: http://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method
But I did not receive the solution so I post it here.
The ...

**11**

votes

**1**answer

397 views

### Do circular pipes maximize flow rate?

Suppose that $U \subset \mathbb{R}^2$ is nonempty, open, connected and bounded. Consider a Poisseuille flow in the pipe $U \times \mathbb{R}$. That is: a time-independent incompressible flow of the ...

**3**

votes

**1**answer

305 views

### First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...

**2**

votes

**0**answers

501 views

### Nonlinear PDE and Green functions

This is somewhat of a curiosity that can hide somewhat deeper. For a Green function of a nonlinear PDE I mean something like
$$
\partial^2\phi+V(\phi)=\delta^D(x).
$$
I do not know if a real ...

**0**

votes

**0**answers

94 views

### Reference Search for a Functional Minimization Problem

Let $u(x) \ge 0$ be a non-negative, piecewise-differentiable function on the real line. Moreover, let $u(x)$ be integrable with fixed positive mass, that is
$$M \equiv\int_{x=-\infty}^\infty u(x) ~ ...

**7**

votes

**2**answers

336 views

### Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...

**2**

votes

**0**answers

126 views

### Examples of non-uniqueness in reaction-diffusion equations

Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on ...

**4**

votes

**1**answer

228 views

### Please recommend some literature on the systematical theory of the elliptic systems!

Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...

**2**

votes

**0**answers

114 views

### Existence of solutions to a reaction-diffusion problem.

Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on ...

**1**

vote

**0**answers

82 views

### Generalized bilinear estimates

Hello. Let $ X^{s,b} $ be the Bourgain space generated by $ \tau - \xi^3 $. It is proved that, for $ s\in (-\frac{1}{2}, 0] $, we have
$$
\|(u^2)_x\| _{X^{s,b'-1}} \leq c \|u\|_{X^{s,b}} ...

**1**

vote

**1**answer

266 views

### Regularity of the right hand side (the source term) in Evans-Krylov theory

A well-known theorem of Evans and Krylov states that in an equation of the form $F(D^2 u)=g$, provided that the right hand side and $u$ both have Lipschitz gradient, and that $F$ is concave or convex ...

**2**

votes

**0**answers

170 views

### Similarity solutions of the imaginary time Benjamin--Ono equation

This problem arose in the course of a theoretical physics project. We seek (complex) solutions of the imaginary time Benjamin--Ono equation
$$u_t-iu u_x-iu_{H,xx}=0$$
where $u_H(x,t)$ denotes the ...

**3**

votes

**2**answers

194 views

### Elliptic Harnack inequality for 1D Schrodinger operator?

For a nonnegative polynomial $V: \mathbb{R} \to \mathbb{R}$, write $H = -\Delta + V$. I am wondering if there is an elliptic Harnack inequality for H. That is:
There exist $C_{H} > 0$ and ...

**3**

votes

**2**answers

153 views

### Boundedness of Solutions to $\Delta u = f u$ on $R^2$

Consider the Laplacian $\Delta = d/dx^2 + d/dy^2$ on $\mathbb{R}^2$.
This is true: Let $f$ be a nonnegative function, not identically zero. Then any positive solution of $\Delta u = f u$ is ...

**2**

votes

**1**answer

276 views

### Uniqueness of classical solution with degenerate boundary

Consider heat equation on the domain $\Omega = (0,1)\times (0,1)$
in the form of
$$ \partial_{t} u = \frac 1 2 x^{3} (1-x) \partial_{xx} u, \quad
(x,t) \in \Omega$$
with initial data
$u(x,0) = x$ for ...

**1**

vote

**1**answer

165 views

### If a function is defined in terms of a solution to an initial value problem, is it also solution to an initial value problem?

Say $f:\mathbb R^{n+1}\to \mathbb R^p$ is a solution to an initial value problem, and $g:\mathbb R^{n+1}\to \mathbb R^q$, so that the components of $g$ can be expressed as polynomials in $f$, $f'$, ...

**0**

votes

**2**answers

269 views

### Estimates for Green's function

Let $n$ - dimension $\geq 3$.
Consider a compact manifold (M,g). Let $\epsilon_0$ denote the injectivity radius of $(M,g)$. Let $B_\epsilon(0)$ denote a geodesic ball of radius $\epsilon < ...

**3**

votes

**1**answer

242 views

### In the case of the Ricci flow, the symmetries of the flow are scalings and diffeomorphisms

Can anyone help me and prove that in the case of the Ricci flow, the symmetries of the flow are scalings and diffeomorphisms?
Thanks for your time.

**4**

votes

**2**answers

248 views

### Analytic dependence on the metric

It is often used implicitly that the maps which associate to metrics curvature quantities (Riemann, Ricci, scalar curvature) and Differential operators like the Laplacian are analytic maps between ...

**0**

votes

**1**answer

160 views

### Solution formular for Laplace equation [closed]

I want to slove the Laplace equation on $R^3_+$ with Neumann boundary condition. The equation reads:
$-\Delta u = f$ in $R^3_+$,
$\partial_3 u|_{x_3=0}=g$ on $R^2$.
If $f$, $g$ satisfy compatibility ...

**10**

votes

**4**answers

1k views

### Is there anyway to rewrite a partial differential equation using language of differential forms, tensors, etc?

My question is: usually, a partial differential equation, for example, those coming from physics, is written in a language of vector calculus in a local coordinate. Is there anyway (or any algorithm) ...

**4**

votes

**1**answer

500 views

### Exact solutions to nonlinear Klein-Gordon equation

The nonlinear pde
$$
\partial_t^2\phi-\partial_x^2\phi+\lambda\phi^3=0
$$
has the exact solution
$$
\phi(x,t)=\mu\left(\frac{2}{\lambda}\right)^\frac{1}{4}{\rm sn}(p_0t-p\cdot x+\varphi,i)
$$
...

**1**

vote

**0**answers

70 views

### h-oscillating function

I need help understanding the following condition:
$u_h\in L^2(\mathbb{T}^d)$, $\|u_h\|_{L^2(\mathbb{T}^d)}=1$, where $h$ is the semiclassical parameter and $\mathbb{T}^d$ is the flat torus, is ...

**0**

votes

**1**answer

183 views

### Dual space of Bochner space: is there an easier proof to show they're isometric?

It is known that $[L^p(0,T;H)]^* = L^q(0,T;H^*)$.
If $p=q=2$ and $H$ is a Hilbert space, is there an easier proof to show that the spaces are isometric? The proof that I know for the general case ...

**0**

votes

**0**answers

163 views

### Gradient estimates for subsolutions of elliptic equations

Let $M$ be a Riemannian manifold. Assume $u \in C^\infty(M)$ such that $u>0$ and
$\Delta u + \lambda u = 0,$
where $\lambda \geq 0$. There is a poinwise estimate for $|\nabla u|$ in Peter Li's ...

**0**

votes

**1**answer

433 views

### Strong convergence in the Bochner space L^p([0,T],X)

Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$.
Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let $x_n(t)\in X_1$ be ...

**1**

vote

**1**answer

118 views

### $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?

Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.

**3**

votes

**2**answers

341 views

### analysis question related to $L^p$ type inequalities

Dear mathoverflowers.
Just wondering if the following inequality is true. For all $ p >1$ there is some $C$ such that
$ | |x+1|^p-|y+1|^p -p(x-y)| \le C ( |x|+|y| + |x|^{p-1} + |y|^{p-1} ) ...

**5**

votes

**1**answer

256 views

### Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$

How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...

**1**

vote

**0**answers

214 views

### Laplacian type operator on compact Lie group

Consider the operator $S = \sum_{i,j} X_{ij}^2$ on $L^2(SO(n+1))$, where $X_{ij}$ generates the rotation of the sphere $S^n$ in the $ij$-plane keeping the $(n - 2)$ complementary directions fixed. ...

**1**

vote

**1**answer

176 views

### A heat kernel for Schrödinger operator with low-order terms

In "Schrödinger Operator: Heat Kernel and Its Applications", Feng computes the heat kernels associated to Schrödinger operators with at most quadratic potentials.
I am trying to see how these work ...

**0**

votes

**0**answers

87 views

### $\mathcal{D}(0,T;V)$ is dense in $W(0,T)$

Where can I find a proof that $\mathcal{D}(0,T;V)$ (the space of $V$-valued compactly supported functions on $[0,T]$) is dense in the space $W(0,T)$, where $$W(0,T) := \{ u \in L^2(0,T;V) : u' \in ...

**3**

votes

**2**answers

712 views

### Regularization by mollifier sequence

A well-known feature used in PDE's is the regularization by convolution with a mollifier sequence $\rho_n$, i.e. $\rho_n(x) := n^d \rho(nx)$ with $x \in \mathbb R^d$, $\rho \in C^\infty_c(\mathbb ...

**0**

votes

**3**answers

455 views

### I have this linear PDE…

Hi,
The PDE in question is: $A P_{yy}(y,z) + B P_{zz}(y,z) + ( [ C y -D z] P(y,z) )_y + ( [ D y + C z ] P(y,z) )_z=0,$
where subscript $y,z$ indicates derivatives and $A,B,C,D$ are real. The PDE is ...

**1**

vote

**0**answers

118 views

### optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition

Consider the problem
$$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$
where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and ...

**1**

vote

**0**answers

115 views

### (localized) L^2 norm of quasimode for Laplacian

Lately I've been thinking about the following distribution on the flat torus $\mathbb{T}^2$:
$u_k=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{|l|\leq ...

**3**

votes

**1**answer

773 views

### integration by parts for the fractional Laplacian

Is there an integration by parts formula for fractional laplacians in $L^p(\mathbb{R}^N)$, something like
$$
s\in(0,1),\qquad\int\limits_{\mathbb{R}^N}f[(-\Delta)^sg] ...

**1**

vote

**0**answers

92 views

### null controllability of linear wave equation

Consider the linear wave equation :
$$z_{tt}=\Delta z + k(x) z + h(t) , \; in \; \Omega\times (0,T)$$
Are there sufficient conditions on the functions $k(x)$ and $h(t)$ for which $(z,z_t)$ vanish ...

**33**

votes

**2**answers

1k views

### Recent fundamental new directions in PDEs

My main interests are in modern geometry/topology, algebra and mathematical physics. I observe that there is a raising communication, language and social barrier between this community and the ...