**1**

vote

**0**answers

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

**4**

votes

**0**answers

200 views

### Linearizing and solving a nonlinear PDE numerically

Im trying to solve the following (transport & diffusion) nonlinear PDE numerically (via finite volume on a cuboid region. Some Material gets cooled down, s.t. in some areas the material becomes ...

**-1**

votes

**1**answer

173 views

### Why can't I get global existence to linear PDE in this way? [closed]

For any $n > 0$, standard theory implies there is a unique $u_n \in L^2(0,n;V)$ with $u_n' \in L^2(0,n;V^*)$ such that
$$u_n' + Au_n = f\quad\text{as an equality in $L^2(0,n;V^*)$}$$
$$u_n(0) = ...

**2**

votes

**1**answer

182 views

### Inequality in the Sobolev space $H^1$

I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ...

**1**

vote

**0**answers

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

**2**

votes

**2**answers

156 views

### Perturbations of positive-definite self-adjoint operators

I was reading Kato's book on Perturbations of Linear Operators and have the following questions:
If we have a self-adjoint operator, what kinds of perturbations (other than relatively bounded ones) ...

**3**

votes

**1**answer

159 views

### (Ref req) Schrödinger heat kernel is a weak solution of parabolic Schrödinger equation

If we have nonnegative $V \in L^1_{\textrm{loc}}(\mathbb{R}^{n})$, then the operator $H = -\Delta + V$ can be defined on $L^{2}(\mathbb{R}^{n})$ via quadratic form methods. This is done by, for ...

**0**

votes

**0**answers

74 views

### Dirichlet integral of harmonic functions on manifold controlled by radius?

M is an n($\ge2$)-dim Riemannian manifold with Ricci curvature bounded below. $\Omega$ is a domain in M. $$\Delta u=0, x\in \Omega;u=f ,x\in \partial \Omega$$ f is Lipschitz.
Is there a constant c ...

**0**

votes

**0**answers

68 views

### Harmonic/functional analysis question: Uniform bounds for $(1 - \varepsilon\Delta)^{-1}$ as $\varepsilon\to 0$?

Is there a space $X$, compactly embedded in $H^{-1}(R^2)$, such that the operators $(1 - \varepsilon \Delta)^{-1}$ are bounded from $L^1(R^2)$ into $X$, with operator norms that are in turn bounded by ...

**5**

votes

**1**answer

394 views

### Do exist infinitely differentiable, compactly supported non zero solutions of the free Schrodinger equation?

I would like to get an answer for the following problem (and possibly be pointed to the relevant literature): given the one dimensional free Schrodinger equation $ i \, f_t + f_{xx}/2 = 0$ for the ...

**0**

votes

**1**answer

137 views

### A Poincaré-type inequality with logarithmic function

For any function $f(x)$ we denote $\bar{f}:=\frac{1}{\Omega}\int_\Omega f(x)\,dx$.
Let $\Omega\subset \mathbb{R}^n$ be a bounded smooth domain and $u(x)> 0$ be a smooth function defined on ...

**1**

vote

**1**answer

199 views

### Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?

Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain.
How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?
I define $H^{\frac 1 ...

**1**

vote

**2**answers

83 views

### References for well-posedness of weak solutions to Stefan problem

Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)?
...

**1**

vote

**1**answer

65 views

### Does replacing 'local' with 'global' in the definition of viscosity sub(super)solution change the definition?

Let $F(x,u,Du,D^2u)=0$ for $x\in\Omega$ be our equation of interest. One way of defining a viscosity subsolution is this:
We say $u$ is a viscosity subsolution iff for any test function $\phi\in ...

**1**

vote

**2**answers

144 views

### How to show this integral on boundary of Lipschitz domain is finite?

Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} ...

**12**

votes

**0**answers

6k views

### Otelbayev's approach to Navier-Stokes [closed]

Recent news post that Mukhtarbai Otelbayev from Eurasian National University has shown existence of strong solutions of the Navier-Stokes equation in the article
"Existence of a strong solution of ...

**1**

vote

**1**answer

110 views

### What fails when we try to extend existence and unique for parabolic PDEs for 'PDEs which are 'parabolic in two components''?

What I have in mind is that on $(0,T)\times\Omega$, we have a parabolic pde operator $L$, we have unique solution to
$Lu = f$ when f is Hoelder for some coefficient strictly between 0 and 1.
This ...

**1**

vote

**1**answer

201 views

### Harmonic function defined on a cone

It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone?
...

**0**

votes

**2**answers

140 views

### Defining surface integral on boundary of $C^1$-domain

Let $\Omega$ be a bounded $C^1$ domain with bounded boundary $\partial\Omega$. Can someone point me to a reference where the surface integral of a measurable function $f\colon \partial\Omega \to ...

**3**

votes

**2**answers

267 views

### Dirichlet energy of a harmonic function bounded above by the energy of the boundary function?

$\Omega$ is a domain in $R^2$ with sufficient smooth boundary. Given an absolutely continuous function f difined on $S^1$($[0,2\pi]$). Then there exists an unique harmonic function u defined on ...

**1**

vote

**1**answer

126 views

### Pohozaev result for equations with weights

I am interested in nonnegative solutions of
$-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$.
Or instead the equation $ -\Delta u + ...

**-1**

votes

**1**answer

79 views

### Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )

Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2.
More generally, is it true that eigenfunctions ...

**2**

votes

**1**answer

85 views

### Conditions for existence of $m$-th differentiable root of a non-negative definite matrix

In M.I. Friedlin's famous paper "On the Factorization of Non-Negative Definite Matrices", he shows that if a non-negative definite symmetric matrix $a(x)=\{a^{ij}(x)\}_{i,j=1}^n$ is in ...

**4**

votes

**1**answer

151 views

### K-Theory of Algebra of Zeroth Order Pseudo differential operators

Any one knows a reference for computing K_0 of Algebra of zeroth order Pseudo's on a closed manifold in terms of explicit generators?
Thanx!

**1**

vote

**0**answers

153 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

**2**answers

160 views

### Interior Schauder estimates with weights

Suppose we have $u(x)\in H_2^{loc}(\Omega_{\rho})$, where $\Omega_{\rho}=\{x\in \mathbb{R}^n, |x|>\rho\}$, and in $\Omega_{\rho}$, $u$ satisfies the equation
$$
\Delta u-V(x)u=0,
$$
where $V$ is a ...

**2**

votes

**1**answer

123 views

### Is Poisson's kernel integrable?

Let $E$ be a smooth domain. Green's function is defined as $G(x,y)=F(x,y)-\Phi(x,y)$ where $F$ is the fundamental solution to the Laplace equation. For a fixed $x\in E$, $\Phi(x,\cdot)$ is a harmonic ...

**2**

votes

**0**answers

70 views

### Deduce global estimate from scaling-invariant local estimate

Let $(M,g)$ be a non-compact Riemannian manifold, with finite volume (or compactly exhausted, or any nice condition you would like, except for compactness). Suppose I have a tensor $T$ on $M$ of which ...

**2**

votes

**1**answer

142 views

### If $f \in H^{\frac 12}$ and $\varphi$ is Lipschitz, is $f\varphi \in H^{\frac 12}$ (on a Lipschitz hypersurface)?

Let $M$ be a bounded hypersurface. Let $f \in H^{\frac 12}(M)$ and let $\varphi\colon M \to \mathbb{R}$ be a Lipschitz function.
When $M=\Omega \subset \mathbb{R}^n$ an open domain, we know that the ...

**2**

votes

**1**answer

149 views

### The centralizer of Lienard equation

Consider the lienard vector field $\cases{
x'=y -F(x) \\
y'=-x }
$ in $\mathbb{R}^{2}$, where $F$ is a polynomial fuction with $F(0)=0$. Assume that $Y$ is a smooth vector field globally defined ...

**1**

vote

**1**answer

118 views

### About a definition of quasi-conformal maps

A book I'm reading gives the following definition for quasi-conformal maps:
If $f$ is a homeomorphism of a metric space X to itself, $f$ is K-quasi-conformal if and only if for all $z \in X$:
...

**2**

votes

**0**answers

87 views

### slightly subcritical elliptic pde; the linearized equations

Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems
$$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...

**4**

votes

**1**answer

360 views

### About Aubin-Lions Lemma

I have a question about Aubin-Lions Lemma, the standard Aubin-Lions lemma need those Banach Space be reflexive spaces, are there any version of Aubin-Lions without reflexivity?
Standard ...

**2**

votes

**2**answers

151 views

### property of local sobolev space

The local Sobolev space,defined as $W^{k,p}_{loc}(\Omega)$, is the space such that for any $u \in W^{k,p}_{loc}(\Omega)$ and any compact $V\subset \Omega$, $u \in W^{k,p}(V)$. I am just wondering if ...

**3**

votes

**0**answers

85 views

### Linear heat equation with initial condition of generalized function

I am consider a very simple heat equation over the interval $[0, 1]$ with a Neumann BC and a very bad initial condition, written as:
$\partial_tu(t, x) = \partial^2_xu(t, x) + a(t, x)u(t, x)$, for ...

**3**

votes

**1**answer

115 views

### An interpolation type inequality

Let $u(x),x\in R_+$ be a non-negative decreasing smooth function with compact support $[0,L]$, I want to know the following inequality is true? $a\in (0,1)$
$$\int_0^\infty \frac{1}{1+x}u^{1+a}dx \le ...

**3**

votes

**2**answers

174 views

### Sobolev spaces on boundaries

Consider the Sobolev space $W^{s,2}=H^s$ for $s=\frac{1}{2}.$
Let $\Omega \subset \mathbb{R}^n$ be an open set with boundary $\partial\Omega$. I have seen two definitions of the space ...

**1**

vote

**1**answer

121 views

### If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?

Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain.
Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$
where $w'$ means the weak ...

**3**

votes

**3**answers

207 views

### Parametrised Hilbert spaces; can we put a norm on the following space of Hilbert spaces?

For each $s \in [0,\infty)$, let $H(s)$ be a Hilbert space. Let us suppose for simplicity that $H(s) = L^2(\Omega_s)$, where $\Omega_s$ is some nice domain that depends on $s$ in a nice way.
Define ...

**5**

votes

**0**answers

269 views

### Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...

**1**

vote

**0**answers

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

**4**

votes

**1**answer

266 views

### What's wrong with the Courant nodal domain theorem

The Courant nodal domain theorem (for Neumann boundary conditions) says that the $n$-th eigenfunction has at most $n$ nodal domains (connected components where the eigenfunction has the same sign. ...

**5**

votes

**2**answers

301 views

### If a PDE have a unique classical solution, must it have a unique viscosity solution?

If a PDE have a unique classical solution, must it have a unique viscosity solution?
The particular problem I am interested in is parabolic, but I would be interested in the general case.
A short ...

**1**

vote

**1**answer

113 views

### Differences between parabolic operators of second order and higher order

Properties of parabolic operators of second order have been extensively studied, such as the existence or uniqueness theorem. In higher order case ($u_t-P(D)u$, where $P$ is a $2m$ order uniformly ...

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

**17**

votes

**1**answer

738 views

### The origin of Discrete `Liouville's theorem'

It is known that discrete Liouville's theorem for harmonic functions on $\mathbb{Z}^2$ was proved by Heilbronn (On discrete harmonic functions. - Proc. Camb. Philos. Soc. , 1949, 45, 194-206).
If ...

**3**

votes

**0**answers

171 views

### Reference on a Monge-Ampère-like equation

We recently realized that a geometric questions of interest to us is strongly related to the regularity of solutions of the following simple equation on the unit disk in $R^2$:
$$ \det(Hess(w))=1~, $$
...

**4**

votes

**2**answers

175 views

### First order Elliptic operator

Assume that there exists a first order elliptic operator $D$ acting on functions from $\mathbb{R}^n$ to some vector space $V$. What can we conclude about $V$?
For example, is the dimension of $V$ ...

**2**

votes

**0**answers

78 views

### Extra regularity of Poisson problem having nonzero Neumann boundary condition in convex domain

Let $\Omega\subset\mathbb{R}^2$ be a convex simply connected domain having piecewise smooth boundary, $f\in L^2(\Omega)$ and $g\in H^{\frac 1 2}(\partial\Omega)$. Grisvard in [1] among others prove ...

**3**

votes

**2**answers

117 views

### Maximum of the solution of a parabolic PDE

Let $u:\mathbb{R}\times [0, \infty) \rightarrow \mathbb{R}$ be defined by
$u_{xx} + u_x - u_t = u(u - 2)(u - 1)$
with $u \rightarrow 0$ as $|x| \rightarrow \infty$ and $u(x,0) = 3e^{-x^2}$. Now, let ...