**1**

vote

**0**answers

38 views

### PDE Parameter-Dependent Center Manifolds

In the book 'Local Bifurcations, Center Manifolds, and Normal Forms in Infinite-Dimensional Dynamical Systems' by Mariana Haragus parameter-dependent center manifolds are discussed. Here it is assumed ...

**1**

vote

**0**answers

79 views

### A Question about compactness of an embedding into $L^p$ spaces

Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} ...

**1**

vote

**0**answers

69 views

### Existence of at least one positive solution for semilinear biharmonic equation with critical exponent

Let $\Omega \subset \mathbb{R}^N$, $N\geq 5$. Now assume the biharmonic problem with singular term as follow
\begin{cases} \Delta^2u=\lambda \dfrac{u}{|x|^4}+u^{p} & ...

**1**

vote

**0**answers

77 views

### Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$.
Let ...

**1**

vote

**0**answers

51 views

### Is there any theory of Hamilton-Jacobi system?

I am curious that is there any theory for (time-dependent) HJ system? I know for HJ equation, we have viscosity solution, which depends heavily on Maximal principle. However, for systems, this seems ...

**1**

vote

**0**answers

48 views

### Level Set Advection with Extension Velocity

We're studying the following system of PDEs for a scalar function $F(x, t)$ with $x \in \mathbb{R}^3$ and $t \in \mathbb{R}$. The function $F(\cdot, t)$ is a level set function for a time-dependent ...

**1**

vote

**0**answers

71 views

### Examples for differential operators first order

Currently I am dealing with the problems which involve the general first order differential operator, i.e., for some open domain $\Omega\subset\mathbb{R}^n$ with certain regular bondary and a function ...

**1**

vote

**0**answers

48 views

### Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...

**1**

vote

**0**answers

68 views

### biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...

**1**

vote

**0**answers

46 views

### The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...

**1**

vote

**0**answers

80 views

### Existence of the solution of a Dirichlet type differential equation

I'm reading the first chapter of the book A geometric approach to free boundary problems by Caffarelli and Salsa, see the PDF here. The question came from Page 14—15. Let me state my question:
...

**1**

vote

**0**answers

70 views

### Semigroup solution via Lumer-Phillips

Let $a$ be a coercive, bounded bilinear form on $H^1(\Omega)$, where $\Omega$ is some sufficiently "nice" region. I defined an operator $A:H^1(\Omega)\mapsto H^1(\Omega)^*$ by:
$$
...

**1**

vote

**0**answers

78 views

### Regularity result for the elliptic equation with Neumann conditions

I am having troubles to justify well some inequalities related with the classical
theory of elliptic equations. Let us consider the problem
\begin{align*}
-\Delta c & =f,\text{ in }\Omega\\
...

**1**

vote

**0**answers

60 views

### Heat equation inequality

There is an inequality that tells us that for some sufficiently smooth $f$ satisfying $(\partial_t - \Delta )f \le - \delta f^2 +K$ for $\delta,K >0$ that $f$ is bounded by some constant. ...

**1**

vote

**0**answers

108 views

### Gilbarg-Trudinger's book Theorem 4.13

I am reading Gilbarg-Trudinger's book "Elliptic Partial Differential Equations of Second Order". I do not understand the proof of Theorem 4.13.
Theorem 4.13 is a special case of Kellogg's theorem in ...

**1**

vote

**0**answers

94 views

### Asymptotics of “heat” semigroup

Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...

**1**

vote

**0**answers

78 views

### Energy inequalities for Sobolev spaces of negative integer

I asked this question in mathematics stackexchange and couldn't get an answer.
Let $\phi\in H^{s}$ such that the following energy inequality is true:
$$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| ...

**1**

vote

**0**answers

72 views

### Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times ...

**1**

vote

**0**answers

107 views

### Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then
...

**1**

vote

**0**answers

55 views

### Equivalence of two definitions of weak solution (subtlety with null sets)

Consider
$$y_t - \Delta y = f$$
$$y(0) = y_0$$
with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions:
We have $y \in ...

**1**

vote

**0**answers

109 views

### $L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of
$$u_{tt} + \Delta u =0$$
$$u|_{t=0}= u_0$$
$$u|_{t=T}=0$$
where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...

**1**

vote

**0**answers

51 views

### sharp conditions characterizing the vanishing of scalar Jacobi fields

Let $T>0$, let some function $\kappa(t)$ smooth on $[0,T]$, and let $b$ the unique solution to the ODE $\ddot b + \kappa(t) b = 0$ with initial conditions $b(0)=0$ and $\dot b(0) = 1$.
I was ...

**1**

vote

**0**answers

36 views

### Recursive formula for symbol of resolvent on noncompact manifold

On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...

**1**

vote

**0**answers

56 views

### persistence of regularity for nonlinear Klein-Gordon equation

I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" ...

**1**

vote

**0**answers

99 views

### maximum principle on compact manifolds with boundary

Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...

**1**

vote

**0**answers

69 views

### Cauchy Problem and stochastic representation for discontinuous initial data

Where can I read more about the Cauchy problem, i.e. solutions to
$$ \frac{\partial u}{\partial t}+Lu=0 \text{ and } u(0,x)=f(x)$$
for some elliptic differential operator $L$ where $f$ is not ...

**1**

vote

**0**answers

90 views

### $H=W$ for weighted Sobolev spaces

Meyers and Serrin's $H=W$ is well known, but how does it generalize when we add weights?
Let's define $H^{m,p}(\mu_0,\dots,\mu_m)$ to be the completion of $C^\infty(\Omega)$ in the norm
...

**1**

vote

**0**answers

61 views

### Existence for special Dirichlet problem

I would like to know the following: Let $M$ be a smooth surface with connected boundary. Let $f: M \rightarrow \mathbb{R}^3$ be an embedding such that the boundary $\partial M$ of $M$ is mapped onto ...

**1**

vote

**0**answers

124 views

### Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as
$$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...

**1**

vote

**0**answers

54 views

### Isolated singularities of harmonic mappings

Can a homeomorphic harmonic mapping $f=(u,v,w):\Omega\to \Omega'$ have isolated singular points. Here $\Delta f =0$, and singular point is a point with zero Jacobian. This will extend Lewy theorem for ...

**1**

vote

**0**answers

70 views

### Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain
$$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$
$$u|_{\partial\Omega} = 0$$
where $a$ is real-valued and satisfies
$C_1 \leq a(r) \leq C_2$ ...

**1**

vote

**0**answers

121 views

### Harmonic extension of $L^\infty$ function is in $L^\infty$?

Let $u \in H^{\frac 12}(\Omega)$ with $\int_\Omega u = 0$ and consider the solution $v \in H^1(C)$ where $C=\Omega \times (0,\infty)$ of
$$-\Delta v(x,y) = 0$$
$$\partial_\nu v = 0$$
$$v(x,0) = ...

**1**

vote

**0**answers

41 views

### Finite elements $W^{1,\infty}$ error estimates

Are there finite element method setups that provide error estimates in the $W^{1,\infty}$ norm (i.e., bounds on $\|u'_h - u'\|_\infty$)? Which families of elements can be used for implementing them?

**1**

vote

**0**answers

195 views

### A Lie algebra associated with a one dimensional foliation

A non vanishing vector field $X$ on a manifold is called "well behaved" if for every non vanishing smooth function $f$ we have $$C(X)\simeq C(fX)$$ This means that the centralizer Lie algebras ...

**1**

vote

**0**answers

55 views

### Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...

**1**

vote

**0**answers

139 views

### Help in understanding “Local well-posedness for the Maxwell-Schrodinger system”

Is there someone who knows the following paper
"Local well-posedness for the Maxwell-Schrodinger system" by M.Nakamura and T.Wada.
I'm trying to study it but I've some doubts. In particular I'm not ...

**1**

vote

**0**answers

103 views

### Showing existence of positive weak solution of a PDE by CoV

Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, ...

**1**

vote

**0**answers

69 views

### Question on the local existence theory for the classical solution for the incompressible fluid dynamics equation

For the incompressible fluid dynamics system
\begin{equation}
\begin{split}
&\nabla\cdot v=0,\\
&\dfrac{\partial v}{\partial t}+v\cdot \nabla v+\nabla p=A(S,D)v,
\end{split}
\end{equation}
...

**1**

vote

**0**answers

94 views

### variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...

**1**

vote

**0**answers

81 views

### A bilinear estimate in Lp space

Let $\varphi(D)$ be a Fourier multiplier with symbol $\varphi(\xi) = \xi/(1+|\xi|^2)$. It's easy to prove that
\begin{equation}
\|\varphi(D)u^2\|_{H^s(R)}\lesssim \|u\|^2_{H^s(R)} \quad (*)
...

**1**

vote

**0**answers

87 views

### Free Endpoint of Minimization Problem

Consider the following minimization problem $$\inf \left\{ \int\limits_{-\infty}^0 \left[ (\psi')^2 + m(y)(\psi - F)^2 \right]\; : \; \psi \in H^1(\left(-\infty,0\right]) \right\}$$ where $m(y) > ...

**1**

vote

**0**answers

65 views

### Regularity of solutions to $u' + Au = f$ for nonlinear monotone operator $A$

Consider the equation
$$u' + Au = f$$
$$u|_{\partial \Omega} = 0$$
$$u(0) = u_0$$
where $A:L^p(0,T;W^{1,p}_0) \to L^q(0,T;W^{-1,q})$ is some monotone nonlinear operator (with additional assumptions). ...

**1**

vote

**0**answers

45 views

### Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)?
I am thinking of eg. ...

**1**

vote

**0**answers

28 views

### Is it classical that the solution to an hyperbolic equation equation is Lipschitz -continuous $[0,\infty)\to L^1(\mathbb{R})$?

Recently I am reading a paper "Global solution and smoothing effect for a non-local regularization of a hyperbolic equation" published on J.E.E, 2004. In the proof, the authors write "It is classical ...

**1**

vote

**0**answers

60 views

### decomposition of tempered distributions by entire analytic functions

Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$
Let $j\in \mathbb N$ ...

**1**

vote

**0**answers

75 views

### Measurability of solution of diffusion equation in sub sigma algebra

I want to solve the following problem:
Get $\omega \in \Omega \subset \mathbb{R}$, $x \in D \subset \mathbb{R}^2$ and $0<a_i\leq a(.,.)\leq a_x<\infty$.
Let $a( x;. )$ and $f(x;.)$ be ...

**1**

vote

**0**answers

118 views

### How does perturbation method guarantee its solution for the perturbed pde $\Delta u + \epsilon u^2 =0$

[This may not be a research-level question; if it violates any term of this website, I will delete it right away]
My question is quite simple: Suppose we are given a PDE of with a boundary condition
...

**1**

vote

**0**answers

59 views

### Bogomol’nyi’s Formula for the Critical Action

I'm studying Aigner's paper 'Existence of the Ginzburg-Landau Vortex Number' (2001) and I have some difficulties to prove the equality (3.1) , which is
...

**1**

vote

**0**answers

150 views

### Existence of solution?

I am sorry if this question is not at the MO level. But I have not found a reference so I would like ask it here.
Follow this paper :http://www.math.ku.dk/~hugger/articles/CTAC2003.pdf
Let ...

**1**

vote

**0**answers

83 views

### Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon ...