**1**

vote

**0**answers

275 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}$
...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

79 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

**0**answers

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

**1**

vote

**0**answers

155 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

**0**answers

103 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

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

110 views

### nodal lines in the dirichlet problem

In the Dirichlet problem if nodal lines do not touch $\partial\Omega$ (unit disk), what happens to the eigenvalues?
Thanks for help.

**1**

vote

**0**answers

87 views

### About definition of weak derivative in abstract PDE problems

I'm confused about weak derivative definition.
$u \in L^2(0,T;V)$ has weak derivative $u'\in L^2(0,T;V')$ iff
$$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$
holds for all $\varphi \in ...

**1**

vote

**0**answers

53 views

### strong stability for the wave equation

Consider the $n-$dimensional wave equation
$$z_{tt}=\Delta z + k(x) z - \epsilon {1}_\omega z_t, \; in \; \Omega\times (0,T)$$
where $\omega\subset \Omega.$ Can I have $z(t) \to 0,$ as $t\to+\infty$ ...

**1**

vote

**0**answers

203 views

### Solving a PDE involving a mixed derivative for a partial derivative

Consider a PDE of the form
\begin{equation}
\frac{\partial^2u}{\partial p\partial t}=F\left(\frac{\partial u}{\partial p},u,p\right)
\end{equation}
or
\begin{equation}
\frac{\partial^2u}{\partial ...

**1**

vote

**0**answers

113 views

### Trace Inequality question

There is a result in a paper I am reading :
Let $\Omega$ be a bounded domain. For any $\epsilon > 0$, there is a constant $C(\epsilon)$ such that
$$\lVert n \times u\rVert_{H^{-1/2}(\partial ...

**1**

vote

**0**answers

161 views

### Galerkin method for existence for PDE with nonsymmetric bilinear form

Suppose we have a PDE
$$\langle u', v \rangle + a(u,v) = 0$$
where $a:V\times V \to \mathbb{R}$ is a bounded symmetric bilinear form, then if $u_0 \in V$ then $u \in L^2(0,T; V)$ with $u' \in ...

**1**

vote

**0**answers

174 views

### Stationary Phase and Propagation Speed (Reference)

I'm trying to understand how one can make precise statements about propagation speed for various (linear and nonlinear) PDEs (in particular, ones with infinite propagation speed) and what, if ...

**1**

vote

**0**answers

66 views

### Orthogonal projection of discontinuous piecewise polynomial space in energy scalar product

Let $I = [0,1]$ be the unit interval Let $I$ be partioned into $n$ closed subintervals $(I_j)_J$, each of length $1/n$.
Let $X_{DC} = \{ v \in L^2[0,1] | 1 \leq j \leq n : v_{|I_j} \in \mathcal P_1( ...

**1**

vote

**0**answers

155 views

### multivalued solution of a equation

Definition: A scalar k-th order differential equation on a smooth manifold $M$ ,
is $F(x,v,\frac{\partial {^\left | \sigma \right |}v}{\partial x^\sigma })=0 $
for $\left | \sigma \right |\leqslant ...

**1**

vote

**0**answers

115 views

### Spectrum of Combinatorial Laplacian

The spectrum of the combinatorial laplacian is well understood for a square lattice. What about for other lattices?
In particular:
Let $ f: \mathbb{Z}^2 \rightarrow \mathbb{R} $. The usual ...

**1**

vote

**0**answers

146 views

### Reference request: Anisotropic Sobolev spaces

Hello,
I am interested in what is known about anisotropic Sobolev spaces, by which I mean spaces of functions satisfying
$ \| f \|_p < \infty, \|Df \|_q < \infty, $
where $p \ne q$ (as ...

**1**

vote

**0**answers

57 views

### Quantitative Weierstrass Approximation and Paley-Wiener for the Laplace Transform II

This is a modification of a previous question.
Question: Suppose $a(s)\in C^\infty([0,1])$ and $H(s,x)\in C^\infty([0,1]\times [0,1])$ with $H(s,x)>0$, $\forall s,x\in [0,1]$. Suppose,
...

**1**

vote

**0**answers

91 views

### A critical elliptic PDE

I am considering the problem $-\Delta u=|u|^4u$, $x\in \Omega\subset \mathbb{R}^3$, $u|_{\partial \Omega}=0$. Where $\Omega$ is a unbounded domain. Some special case like $\Omega=\mathbb{R}^3-B_1(0)$, ...

**1**

vote

**0**answers

148 views

### two polynomial equations

Let $f:\mathbb R^2\rightarrow\mathbb R$ be a smooth function such that for every point $(x,y)\in\mathbb R^2$ the system
$$f_{11}+2tf_{12}+t^2f_{22}=0$$
$$f_{111}+3tf_{112}+3t^2f_{122}+t^3f_{222}=0$$
...

**1**

vote

**0**answers

131 views

### Weyl quantization and convexity

Let $C$ be a convex subset of $\mathbb R^{2n}$ and $\mathbf 1_C$ be the characteristic function of $C$. Is it true that
$$\forall u\in\mathscr S(\mathbb R^n),\quad
\langle\mathbf ...

**1**

vote

**0**answers

203 views

### Constant in the Poincare inequality for curl square integrable vector fields

$\newcommand{\v}[1]{\boldsymbol{#1}}$For an $u\in H^1(\Omega) = W^{1,2}(\Omega)$ where $\Omega$ is Lipschitz, we have
$$
{\|u - \frac{1}{\Omega} \int_{\Omega} u\|}_{L^2}\leq C
{\|\nabla u \|}
$$
...

**1**

vote

**0**answers

125 views

### Compactness of solutions of elliptic equation

Consider the following nonlinear elliptic equation
$$
-\triangle u + u + u^3 = g, \quad x \in R^3.
$$
If $g \in L^2(R^3)$, then the set $Q$ of solutions of above equation is bounded in $H^2(R^3)$, and ...

**1**

vote

**0**answers

55 views

### When can a perturbation be treated as a regular perturbation?

I am working with cauchy problem of the form
$$ ( - \partial_t + A^\delta) u^\delta = 0 , \qquad u^\delta(0,x) = h(x), $$
where the domain of $u^\delta$ is $[0,\infty) \times \mathbb{R}$. The ...

**1**

vote

**0**answers

210 views

### Convolution Estimates on a Smooth Manifold

Suppose $f,g$ are $a$-Hoelder continuous real-valued functions on some domain $\Omega \subset \mathbb{R}^n$ satisfying
$$
\|f\|_{C^{0,a}(\bar\Omega)},\|g\|_{C^{0,a}(\bar\Omega)}<\infty.
$$
Then ...

**1**

vote

**0**answers

101 views

### base change for distributions

For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...

**1**

vote

**0**answers

166 views

### Pitfalls when generalizing the heat kernel of a Riemannian metric

Suppose $M$ is a Riemannian manifold with some compact quotient under isometries.
Associated with the Riemannian metric one has the Laplace-Beltrami operator $\Delta$ and the heat kernel $p(t,x,y)$ ...

**1**

vote

**0**answers

52 views

### elliptic system; bounds on $v$ when $u$ is small

I am interested in the following system
$-\Delta u = f(u,v) $
$-\Delta v = g(u,v)$ in $ \Omega$ a bounded domain in $ R^N$ with $ u=v=0$ on the boundary.
The solutions are smooth and positive. ...

**1**

vote

**0**answers

112 views

### Strichartz estimates over cones

I'm trying to understand Sogge's book Lectures on Non-Linear Wave Equations, the part where he proves global existence for semilinear equations. There is one part he uses the following inequality:
...

**1**

vote

**0**answers

170 views

### Weak solution of a certain pde with integral term

Let us consider the following pde on the domain $(0,T)\times(0,1)$
$
\dot{p}(t,x)+v(t)p_{x}(t,x)+v'(t)\int_{0}^{1} \rho(t,s)p_{s}(t,s)\ ds=0
$
with initial data $p(0,x)=p_{0}(x)$ and boundary data ...

**1**

vote

**0**answers

171 views

### Is this Stefan-type problem an open problem?

I am looking for a weak-formulation that would give me an existence and uniqueness of a solution of a Stefan-type problem. It is basically a 2-phase Stefan problem in 2D except that the free-boundary ...

**1**

vote

**0**answers

234 views

### Strong minimum principle for maximal plurisubharmonic functions

Suppose $u$ is a bounded maximal plurisubharmonic function in a bounded domain $D \in \Bbb C^n$. If $u$ is $C^2$ one can see that $u$ cannot have a local strict minimum inside $D$. Is there an analog ...

**1**

vote

**0**answers

447 views

### How to prove that 1 is not an eigenvalue of $T'(x)$?

Given a compact continuous operator $T$ from a Banach space $V_1$ to itself and $T$ maps a convex closed bounded set $\mathcal{B}$ into itself, how can we show that 1 is not an eigenvalue of $T'(x)$ ...

**1**

vote

**0**answers

304 views

### Definition of spectral gradient

Consider this differential operator
$$
\mathcal{H}(\phi(\mathbf{x})) = -\triangle + V(\mathbf{x})H_\epsilon (\phi(\mathbf{x}))
$$
where $\mathbf{x} \in \mathbb{R}^2$, $\phi : \mathbb{R}^2 \rightarrow ...

**1**

vote

**0**answers

203 views

### A regularity question on the Beltrami equation $ f_\bar{z} =\mu . f_z$ on $D$

Hello,
This question is related to Chapter V, lemma 3 on page 54 of Lars Ahlfors' 'Lectures on Quasiconformal mappings' which states :
If $\mu:\mathbb{C}\to \mathbb{D} \in W^{1,p}(\mathbb{C}), p ...

**1**

vote

**0**answers

68 views

### decay for spatially discrete parabolic equations with non-constant non-self-adjoint right hand side

Consider the following uniformly parabolic lattice differential equation
$ \begin{array}{ccc} \dot{u}_{n,m} & = & \alpha_{n,m}(u_{n+1,m} - u_{n,m}) + \beta_{n,m}(u_{n-1,m}-u_{n,m}) \\ & ...

**1**

vote

**0**answers

240 views

### Geometric description of Jacobi's theorem on complete integrals of HJ eqn.

I am not sure if this question is adapted to this site, if it is not, then I will delete it.
The Hamilton--Jacobi theory is about the connection between:
the solutions of an Hamilton--Jacobi ...

**1**

vote

**0**answers

357 views

### Maximum principle for heat eq. with boundary conditions on derivatives

The Maximum principle for parabolic eq. is based on the fact that the boundary conditions are given on u.
How can this Maximum principle be used, when having boundary conditions including ...

**1**

vote

**0**answers

192 views

### References? Stability of the Cauchy problem for elliptic and backward-parabolic operators.

Dear community.
I'm looking for survey articles about recent and old results about stability for the elliptic and backward-parabolic Cauchy problem.
For example: Take $\partial_t u + ...

**1**

vote

**0**answers

230 views

### Can the solution manifold for an exterior differential system be represented using alternating multivectors?

Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...

**1**

vote

**0**answers

932 views

### Existence of solution for Poisson problem with pure Neumann BCs

Hello all,
Does the following boundary value problem admit unique solutions $q$:
$- \Delta q + \beta q = f$, $x \in \Omega$
$ \nabla q \cdot \vec{n} = g $, $x \in \Gamma := \partial \Omega$,
...

**1**

vote

**0**answers

304 views

### Compatibility conditions for parabolic regularity

I'm trying to understand the compatibility conditions for regularity of second order parabolic equations.
Let's consider the equation $u_t - Lu = f$ with $u(0)=g$ on $\Omega \times [0,T)$ with $u = 0$ ...

**0**

votes

**0**answers

16 views

### $L^\infty$ estimate for a fourth order (hyperbolic) equation

Consider the following fourth order equation
$$u_{tt}+u_t= d\Delta u-\Delta^2u+f,$$
with Dirichlet or Navier boundary conditions, that is on $\partial\Omega$, we assume that
...

**0**

votes

**0**answers

31 views

### reading request on linear elliptic systems of pdes, strong solutions

Does anyone have some references where I could find results on strong solutions to linear elliptic systems of pdes ?
Regards

**0**

votes

**0**answers

119 views

### Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$
I want to show for $r \geq 2$ that
...

**0**

votes

**0**answers

53 views

### Compatibility of initial and boundary conditions

Suppose we consider the heat equation $$\partial_t u = \Delta u, x \in \text{int}D^2, t > 0$$
where $D^2$ is the closed unit disc in $\mathbb{R}^2$, subject to Neumann type boundary conditions ...

**0**

votes

**0**answers

74 views

### elliptic regularity when right hand side in weak $L^p$

I am interested in the following question (whose answer i assume is well known) but just not by me. Suppose $u,f$ are smooth functions defined on $B_1$ and $ \Delta u = f$ in $B_1$ with $u=0$ on $ ...

**0**

votes

**0**answers

122 views

### $b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper.
Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in ...