# Tagged Questions

**1**

vote

**0**answers

90 views

### On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...

**1**

vote

**0**answers

83 views

### Limit Toward Discontinuous Point of Dirichlet Boundary Value

The question arises from a paper on Schwarz's domain decomposition method (click here).
We consider a bounded domain in $\mathbb{R}^2$ and a curve splits it into two, see the figure below.
Now we ...

**1**

vote

**0**answers

69 views

### Lyapunov Schmidt; basic example

I am attempting to understand the Lyapunov-Schmidt method with a simple example but I am running into trouble. Here is the example I am considering. Suppose $ v>0$ satisfies $ -\Delta v - v=0 $ ...

**1**

vote

**0**answers

108 views

### Showing a normal-derivative operator is a (sort of) contraction (related to Crandall-Liggett and PDEs)

Denote by $\mathbb{E}(g)$ the solution of the PDE
$$\Delta v(x,y) = 0 \quad\text{in $\Omega$}$$
$$v(x,0) = g(x) \quad\text{on $\partial\Omega$}.$$
Let $X=L^1(\partial\Omega)$. Let $h(t)$ be a ...

**1**

vote

**0**answers

37 views

### Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?

Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?
Where $\omega\subset\subset \Omega$ with $\Omega$ is a $C^2$ ...

**1**

vote

**0**answers

109 views

### on high order Laplacian

Roughly speaking, we have good understanding of the solution to heat equation $u_t-\Delta u=0$, on bounded or unbounded domain. For example, we know the decay rate, we know it generates analytic ...

**1**

vote

**0**answers

93 views

### Boundary gradient estimate

Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...

**1**

vote

**0**answers

105 views

### Passing to the limit in a PDE (subsequence problems)

For $w \in L^2(0,T;H^1)$, consider the PDE
$$\int u'(t)v(t) + \int g(w(t))\nabla u(t) \nabla v(t) = \int f(t) v(t)\quad \forall v \in L^2(0,T;H^1)$$
where $u \in H^1(0,T;L^2)\cap L^2(0,T;H^1)$, and ...

**1**

vote

**0**answers

120 views

### Bound for a certain integral expression

I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...

**1**

vote

**0**answers

121 views

### A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form
$$u_t(t) - ...

**1**

vote

**0**answers

107 views

### How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...

**1**

vote

**0**answers

80 views

### Regularity of weak solutions for a quasilinear problem

Theorem 6.2.7 in the book Nonlinear Analisis of Gasisnski and Papageorgiou states: If $u\in W^{1,p}(\Omega)\cap L^\infty(\Omega)$ and $\Delta_pu \in L^\infty(\Omega)$ then we have $u\in ...

**1**

vote

**0**answers

114 views

### Weak periodic solution of parabolic PDE

Take
$$
u_t(t) + A(t)u(t) = f(t),
$$
$$
u(0) = u(T),
$$
where $A$ is an linear elliptic operator and the first equation is an equality in $L^2(0,T;V^*)$ for $V \subset H \subset V^*$ Hilbert triple. ...

**1**

vote

**0**answers

122 views

### Half-wave group $e^{it\sqrt{-\Delta_g}}$ for large $t$

Consider the Laplace-Beltrami operator $\Delta_g$ on compact Riemannian manifold $(M,g)$, then $e^{it\sqrt{-\Delta_g}}f$ is the solution of the following Cauchy problem.
$$
...

**1**

vote

**0**answers

200 views

### Reverse Holder Inequality and the higher integrability of the gradient of a solution to Euler's equation for a certain functional

In Giaquinta-Giusti's (1978) paper "Nonlinear Elliptic Systems with Elliptic Growth" (thm 1.1) they consider the following system:
\begin{equation}
\sum_{i, j=1}^{n}\sum_{\alpha, ...

**1**

vote

**0**answers

163 views

### Comparison principle for partial differential equation with singular coefficients

How (or if) a comparison principle works in the case of equations
singular at some point? For example, I am analyzing a partial
differential equation
$$
...

**1**

vote

**0**answers

76 views

### Analyticity of one-dimensional PDE solutions with respect to the space variable

Let $n>1$ and $u$ be a solution of a linear PDE with constant coefficients
$$
u_t-\sum_{k=0}^n a_k \partial_x^k u=0,\quad a_k\in \mathbb C,\quad a_n\ne0,
$$
in some neighborhood of a point ...

**1**

vote

**0**answers

150 views

### Focusing NLS: $L^2$ convergence of a solution as $t\rightarrow +\infty$

Consider the cubic focusing non linear Schrodinger equation in dimension $n\geq 2$:
$$(iu_t+\Delta)=-|u|^2u\qquad u(0,x)=u_0(x)\in L^2(\mathbb{R}^n)$$
Can we find an initial data $u_0\neq 0$ such ...

**1**

vote

**0**answers

110 views

### localization of the $L^p$ variation for heat equation

I'm struggling with yet another question for the classical heat equation in the whole space $R^d$. This question seems basic at first sight, but I think it is nontrivial in the end so here it is.
The ...

**1**

vote

**0**answers

133 views

### Extension of solutions of PDE

Let $\Omega \subset \mathbb{R}^{2}$ be an open set such that $\mathbf{0} \in \Omega$. Let $A := \Omega \setminus (\{0\}\times \mathbb{R})$, that is, $A$ is $\Omega$ with the $y$-axis removed.
Let ...

**1**

vote

**0**answers

128 views

### How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...

**1**

vote

**0**answers

45 views

### parabolic PDE with pseudomonotone operators

I am looking for a reference where well-posedness of problems
$$u_t + A(t)u = f$$
is addressed via the Galerkin method where $A$ is a pseudomonotone operator. I am aware that Roubicek's book ...

**1**

vote

**0**answers

92 views

### Elliptic problem on half space; infinite boundary values; Liouville theorem

In a the study of a boundary value problem the following problem is arising:
$-\Delta v(x)= e^{v(x)}$ in $ R^N_+$
$v= - \infty$ $\qquad $ on $ \partial R^N_+$ $ \qquad $ $ v \le 0$ in $ R^N_+$.
...

**1**

vote

**0**answers

184 views

### local existence for a singular quasilinear parabolic equation

I'm considering the following type of PDE:
$u_{t}=u_{xx}+u_{x}+u_{x}^2+u_{x}^3+\frac{u_{x}}{x(1-x)}+\left(\frac{u_{x}}{x(1-x)}\right)^3$
with periodic boundary conditions $u_{x}(0,t)=u_{x}(1,t)=0$, ...

**1**

vote

**0**answers

75 views

### Kernel of perturbation of biharmonic operator

Suppose we have a linear fourth order operator defined on $\mathbb{R}^{2n}$ with $n\geq2$ of the form:
$$\mathcal{L}(f)=\Delta^{2}f+\sum_{i,j=1}^{2n}P_{ij}(x)\partial_{i}\partial_{j}f$$
with ...

**1**

vote

**0**answers

358 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

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

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

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

**1**

vote

**0**answers

199 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

109 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

112 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

91 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

114 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

93 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

57 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

278 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

122 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

178 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

179 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

81 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

163 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

123 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

198 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

94 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

149 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

142 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

136 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

201 views

### Invariance of a tensor Laplacian

Let $\phi : \Omega \to \Omega'$ be an invertible mapping between two bounded domains in $\mathbb{R}^{n}$ (typically with $n=2$ or $n=3$), and let $F$ be its derivative (i.e. the Jacobian matrix). Let ...

**1**

vote

**0**answers

327 views

### Relation between interpolation spaces and besov spaces

Consider the following two norms:
The interpolation norm:
1) $\|u; [L_2,\dot H_1^{\infty}]_{1/3,\infty}\| := \sup_{s > 0} \inf_{u=u_0+u_1} \frac{\|u_0\|_{L^2}}{s^{1/2}} + s \|\partial_x ...