All Questions
1,304 questions
1
vote
0
answers
66
views
Well-posedness of hyperbolic system with constant coefficients in finite domains
I'm studying the PDE
$$
\frac{\partial u}{\partial t} + A_x\frac{\partial u}{\partial x} + A_y\frac{\partial u}{\partial y} + A_z\frac{\partial u}{\partial z} = 0
$$
with $A_x, A_y, A_z$ being ...
- 11
1
vote
0
answers
84
views
A Riemann Hilbert problem on the unit square
Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$.
Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
- 4,115
8
votes
1
answer
311
views
Laplacian spectrum asymptotics in neck stretching
Let $M$ be a compact Riemannian manifold. Let $S \subset M$ be a smooth hypersurface separating $M$ into two components. Let $g_T$ be a family of Riemannian metric obtained by stretching along $S$, i....
- 1,207
1
vote
0
answers
120
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
- 429
3
votes
1
answer
541
views
regularity of p-harmonic functions
We know that, in general, the 'best' regularity of p-harmonic functions is $C^{1,\alpha}$, $0<\alpha<1$.
Recently, I saw a method of regularized problems as follows: For each $\epsilon>0$, ...
- 41
3
votes
1
answer
356
views
Initial data and heat equation
We assume all solutions to be bounded here!
Let $y_{+},y_{-} \in C_c^{\infty}$ be two positive functions.
If we then consider the heat equation
$$\partial_t u(t,x) = \Delta u(t,x)$$ for two ...
user121558
5
votes
0
answers
168
views
Sobolev extension from a discrete set of points
Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define
$$...
- 501
4
votes
3
answers
1k
views
Using Galerkin method for PDE with Neumann boundary condition?
I am wanting to show existence of solutions to
$$u_t +L(u) = f \;\;\text{on}\;\; \Omega$$
with initial condition $u|_{t=0} = u_0$ and Neumann boundary condition $\nabla u\cdot \nu = 0$ on ${\partial\...
- 113
3
votes
1
answer
2k
views
Examples of Log-Lipschitz and nonLog-Lipschitz functions satisfying certain conditions
A function $f$ is Log-Lipschitz if there exists a constant $C >0$ such that
\begin{equation}
|f(x) - f(y)| \le C|x-y| |\log|x-y||
\end{equation}
I am trying to construct two functions with the ...
6
votes
1
answer
241
views
Self-adjointness and choosing appropriate function spaces
Consider the following operator on some (yet undecided) space $S$ of functions over $[0\:\:1]$
$$L(u)=\sin(x)u-x\dfrac{\partial u}{\partial x}$$
Now, its formal adjoint is
$L^*(v)=\sin(x)v+\dfrac{\...
- 318
17
votes
1
answer
1k
views
Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)
Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...
- 5,824
0
votes
0
answers
53
views
Explicit computation related to the fractional Laplacian
Suppose $$c_{n,s}\int_{\mathbb R^n}\int_{\mathbb R^n} \frac{(u(x+y+z)-u(x+y)-u(x+z)-u(x))^2}{|y|^{n+2s}|z|^{n+2s}} dydz = C$$
for some constants $c_{n,s}$, $C$, and $s \in (0,1)$.
Is it true that $$u =...
- 161
1
vote
0
answers
126
views
Does my functional satisfy the Palais Smale condition?
Consider the functional
$$ I(u)=\frac{1}{2} \int_\Omega |\nabla u|^2\ dx + \frac{1}{4} \int_\Omega (1-|u|^2)^2 \ dx - \frac{c}{2} \int_\Omega \langle i\partial_1 u , u\rangle ,$$
where $u:\mathbb{R}^2 ...
- 383
0
votes
1
answer
311
views
Bilinear Strichartz estimates for the Schrodinger equation
Let $d\geq 2$, $I\subset\mathbb{R}$ a time interval and $t_0\in I$. Let $u,v$ be solutions to the free Schrodinger equation on $\mathbb{R}^d$, i.e. $(i\partial_t+\Delta)u=(i\partial_t+\Delta)v=0.$ Let ...
- 943
2
votes
0
answers
87
views
Estimate in vanishing viscosity for the difference $\Vert u^\epsilon - u^\eta \Vert_{L^2(\mathbb R^N)} $
Consider the following advection-diffusion equation
$$
\begin{cases}
u^\epsilon_t + f(u^\epsilon)_x = \epsilon \Delta u^\epsilon\\
u^\epsilon(0,\cdot) = u_0,
\end{cases}
$$
How can one prove an ...
- 839
14
votes
2
answers
536
views
Reference Request: Elliptic differential operators in the Fréchet setting
Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
- 5,824
4
votes
1
answer
128
views
On the domain of functionals in measure with singular kernels
this post is concerned with functionals defined in measures. Consider the following functional
$$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$
were we define $-\log\...
- 145
8
votes
4
answers
812
views
Schwartz space of functions with values in a Frechet space
While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
- 601
7
votes
2
answers
921
views
Exotic spectrum of Laplace operator
Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
- 101
4
votes
1
answer
370
views
Equivalence of viscosity and weak solutions for the Poisson equation
Suppose $\Omega$ is a bounded smooth domain in $\mathbb{R}^d$.
How does one prove that weak solutions are viscosity solutions and vice versa for the problem
$$
\begin{cases}
-\Delta u = f(x) & \...
user123456
3
votes
2
answers
956
views
Hodge decomposition on open manifold
For the open manifold like $X\times \mathbb R$ or $X\times \mathbb R^+$, where $X$ is a closed manifold.
Is there any decomposition like (Hodge Decomposition) of the Differential forms on it.
- 1,915
2
votes
1
answer
101
views
Sobolev topology on essentially compactly supported Sobolev-"functions"
The locally convex space of essentially compactly-supported $p$-integrable "functions" $\operatorname{L}_{\mathrm{comp}}^p(\mathbb{R}^d,\mathbb{R})$ is defined as the set
$$
\bigcup_{n \in \mathbb{N}} ...
- 5,405
2
votes
0
answers
145
views
Integral estimate for the solution of the heat equation
Let $u$ be a solution of $\partial_t u - \Delta u =f$ with initial data $u(0,x) = 0$ on $\mathbb R^N$. How do one prove the following inequality?
$$
\int_0^T \int_{\mathbb R^N} \phi(f)(- \Delta) u(...
user140746
5
votes
1
answer
396
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
1
vote
0
answers
36
views
Existence and uniqueness for fractional parabolic equation with transport term
Let us consider the problem
\begin{equation}
\begin{cases}
u_t+(-\Delta)^{\sigma}u+\mathrm{div}(a(t,x)u) = 0 & \text{in } \mathbb{R}^n \times [0, T) \\
u(x,0)=u_0(x) & \text{in } \...
- 99
5
votes
1
answer
571
views
Schrödinger operator with Coulomb potential
The free Laplacian $-\Delta$ has absolutely continuous spectrum $[0,\infty).$ The Coulomb Hamiltonian $H=-\Delta-\frac{1}{\vert x\vert}$ on $L^2(\mathbb R^3)$ has absolutely continuous spectrum $[0,\...
- 119
5
votes
2
answers
980
views
Symbol of the Laplace-Beltrami on $\mathbb{S}^2$
This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e.
A differential operator $P=\sum_{|\...
- 329
2
votes
0
answers
172
views
Can Schauder's fixed point theorem apply to a metric space?
I am currently reading the existence proof of Mean Field Game equation, which is a coupled system of Hamilton-Jacobi-Bellman equation and Fokker-Planck equation, see page 42 of the paper here. The ...
- 1,399
3
votes
0
answers
89
views
Error rate implying regularity
My question is a bit general/vague.
It is well known that the regularity of certain functions can be measured through the rate of decay of certain error quantity based on an approximation procedure (...
- 778
0
votes
0
answers
61
views
$L^p$ estimate for perturbed heat equation
Let us consider the heat equation
$$
\begin{cases}
u_t + f(u)_x - u_{xx} = 0 & x \in (-1,1), \quad t >0\\
u(t,-1) = a(t), \\
u(t,1) = b(t), \\
u(0,x) = u_0(x)
\end{cases}
$$
where $f \in C^\...
- 131
3
votes
1
answer
191
views
Complex sum of squares of vector fields (hypoelliptic operators)
Consider a compact $M$ of dimension $n$. Consider real smooth vector fields $X_0, X_1, X_2,..., X_n$ on $M$ and consider the differential operator $\mathcal{L}_1 = \sum_{i = 1}^n X_i^2 + X_0.$
Now, by ...
- 31
0
votes
1
answer
582
views
$L^2$ bound and interpolation of Hölder norm
Consider the function
$$F(x):=\int_{\mathbb R} f(t+x)f(t-x) \ dt .$$
Clearly, we have by Cauchy-Schwarz
$$\vert F(x) \vert\le \Vert f \Vert^2_{L^2} $$
$$\vert F'(x)\vert\le 2\Vert f' \Vert_{L^2} \...
user144765
2
votes
1
answer
241
views
On the limiting behaviour of Sobolev space functions
Let $k$ be an integer such that $k>n/2$, and let $H^k(\mathbb{R}^n)$ denote the usual Sobolev Hilbert space.
Let $f,g\in H^k(\mathbb{R}^n)$.
Is it true that
$\displaystyle
\lim_{R\rightarrow \...
- 105
1
vote
0
answers
148
views
Spectrum of Laplacian-like operator
Let $\kappa_1, \kappa_2>0$ be fixed.
Consider the unbounded operator $A: D(A) \rightarrow L^2(-1,1)\times\mathbb{R}$ defined by
$$
A\begin{bmatrix} y \\ h \end{bmatrix} = \begin{bmatrix} \...
- 309
1
vote
0
answers
126
views
Continuity of Helmholtz-Hodge projection in $H^1(\Omega)$
Let $\Omega \subset \mathbb{R}^d$ (for simplicity $d = 2$ or $3$) be a bounded Lipschitz domain. For any vector-valued function $\mathbf{f} \in \mathbf{L}^2(\Omega):= \left ( L^2(\Omega) \right )^d$, ...
- 23
2
votes
1
answer
167
views
Question: can we claim that $W^{1,p}(\Omega) \subset L^1(\Omega) \subset W^{-1,p}(\Omega)$?
Let $\Omega$ be a compact manifold in $\mathbb R^2$. For $1 \leq p \lt
4/3$ can we claim that
$W^{1,p}(\Omega) \subset L^1(\Omega) \subset W^{-1,p}(\Omega)$
with the first inclusion being ...
- 227
7
votes
2
answers
998
views
Uniform continuity of heat semigroup
I would like to illustrate my question with an example:
It is well-known that $\Delta$ is the generator of a strongly continuous semigroup $(T(t))$ on $L^2(\mathbb R^n),$ i.e. the heat-semigroup.
It ...
- 536
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
- 1,461
1
vote
2
answers
118
views
Question on Parabolic PDEs: Improvement of the bound ${\vert \vert v(\cdot,t)-v_0(\cdot) \vert \vert}_{L^p}\le \hat C t^{1/q}$
Let $M$ be a $C^3-$compact manifold and $v \in W^{2,1}_p(M\times
[0,T])$ ($1\le p<\infty$) be the solution of:
$\begin{cases} \partial_t v-\Delta_{M} v=f(v), \quad M\times [0,T]\\
v(x,0)=v_0,...
- 227
2
votes
0
answers
445
views
Lax Milgram for non coercive problem?
I obtained the variational form of my problem. and the bilinear form is below.
Bilinear Form Let $\Omega\subset\mathbb{R}$ be an open set. For $u,v\in H^1_0(\Omega)$. I have
$$a(u,v)=\int_\Omega u(t)...
- 55
1
vote
0
answers
42
views
On the boundary integral of Neumann eigenfunctions
Let $v$ be an eigenfunction corresponding to the first nonzero Neumann Laplacian eigenvalue on a domain $\Omega \subset \mathbb{R}^2$. By definition, we know that $\int_{\Omega} v \, dx=0$. If $\Omega$...
- 1,350
4
votes
0
answers
747
views
Maximum Principles in Parabolic PDE with Neumann Condition
I am looking for some maximum principles and comparison results for parabolic equations. The most complete book I've found on this subject is: Murray Protter, Hans Weinberger - Maximum Principles in ...
- 1,759
4
votes
1
answer
191
views
Estimate on the $C^{1,\alpha}(\bar \Omega)$ norm of solution of linear elliptic Neumann problem
Let $\Omega$ be a bounded smooth domain with
$$-\Delta u + ku = f$$
$$\partial_\nu u|_{\partial\Omega} = 0$$
where $k > 0$ is a constant and $f \in L^\infty(\Omega)$. It follows that $u \in H^2(\...
8
votes
2
answers
634
views
Existence of a uniformly continuous function $g$ on $\mathbb{R}$ where $f = g$ a.e.?
Suppose $f \in L^\infty(\mathbb{R})$, $f_h(x) = f(x + h)$, and$$\lim_{h \to 0} \|f_h - f\|_\infty = 0.$$Does there exist a uniformly continuous function $g$ on $\mathbb{R}$ such that $f = g$ almost ...
- 113
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
0
votes
1
answer
233
views
Existence of subsequences convergence with weak topology
Let $\left\{ {{\varphi _n}} \right\}$ is the sequence bounded in ${L^\infty }\left( {0,\infty ;H_0^1\left( {0,1} \right)} \right)$. Is there exists $\varphi \in {L^\infty }\left( {0,\infty ;H_0^1\...
- 183
11
votes
2
answers
712
views
Poincaré lemma for distributions
Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form
$$
u=\sum_{1\le j\le n} u_j dx_j,\quad ...
- 16.2k
1
vote
0
answers
40
views
Various definitions of weak solutions and continuity property
For example, consider the transport equation
$$
\partial_tu+b\cdot\partial_xu=0, u(0,x)=u_0(x),
$$
where $t\ge0,x\in\mathbb{R}^3$, $b\in W^{1,1}_{\rm{loc}}([0,\infty)\times\mathbb{R}^3)$.
It seems ...
- 71
1
vote
1
answer
78
views
Conservated quantity and hyperbolic equation
Given the hyperbolic Vlasov equation
$$ \frac{\partial f }{\partial t} +v\nabla_x f + F(t,x)\nabla_vf =0$$
where $f=f(t,x,v)$ and $(t,x,v)\in \mathbb{ R}\times\mathbb{R}^{n}\times \mathbb{R}^{n} $. ...
- 383
2
votes
3
answers
303
views
Uniqueness of solution depending on constant?
I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...
