**1**

vote

**0**answers

158 views

### Is this function space a “classical” Sobolev space?

I apologise if this is indeed classical but my functional analysis is quite rusty...
My work recently led me to the norm: $(\|u\|_p)^p=\int_D (|u|^p+|\Delta u|^p)d\lambda$ where $D$ is the unit disk ...

**1**

vote

**0**answers

46 views

### Well-posedness of a certain linear Cauchy-problem

I am interested in solutions to the linear Cauchy problem
$$\Bigl(\frac{\partial^2}{\partial t^2} + a(t, x)\frac{\partial}{\partial t} + \sum_{j=1}^n b_j(t, x) \frac{\partial}{\partial x_j}\Bigr)u(t, ...

**1**

vote

**0**answers

85 views

### A question on the maximum principle for Schrodinger operators

Let $(M^n,g)$ be a closed Riemannian manifold, and $L=-\Delta+V$ be a Schrodinger operator, $V\in C^{\infty}(M)$. In answers to the two questions (First eigenvalue of Schrödinger operator is simple 1 ...

**1**

vote

**0**answers

109 views

### Estimate the smallest eigenvalue of a Schrodinger operator

There are several results on the estimate of the number of negative eigenvalues of a Schrodinger operator, see a recent paper of Grigor'yan-Nadirashvili-Sire and references therein. I wonder how to ...

**1**

vote

**0**answers

84 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

75 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

49 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

102 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

35 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

100 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

87 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

102 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

114 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

116 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

96 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

79 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

106 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

119 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

178 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

140 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

43 views

### Rational homogenous functions

I'm interested in the set $\mathcal{S}$ of rational functions $F \colon \mathbb{R}^3 \to \mathbb{R}$ verifying:
\begin{align}
\Delta F=0 \quad \text{et} \quad F(\lambda x)= \lambda^d F(x) \quad d \in ...

**1**

vote

**0**answers

60 views

### Existence of harmonic maps between loops

Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy
...

**1**

vote

**0**answers

72 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

132 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

104 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

131 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

44 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

88 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

178 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

69 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

314 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

58 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

81 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

175 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

105 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

107 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

90 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

111 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

89 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

55 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

237 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

119 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

165 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

177 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

73 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

158 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

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