All Questions
1,304 questions
1
vote
0
answers
790
views
$C^{1,2}$ regularity of (weak) solutions to the heat equation
Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation
$$u_t - \Delta u = 0$$
$$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$
$$u(0) = u_0$$...
CommunityBot
- 1
8
votes
1
answer
2k
views
Definitions of Hilbert Bundles
I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...
- 42.8k
2
votes
1
answer
1k
views
Strong maximum principle for heat equation. Positivity of solution
I have a non-negative solution $u \in L^2(0,T;H^1) \cap H^1(0,T;(H^1)')$ of the heat equation
$$u_t-\Delta u =0$$
on bounded $C^1$ domain $\Omega$, with the boundary condition
$$\frac{\partial u(t,x)}{...
- 3,388
4
votes
1
answer
497
views
Eigenfunction basis of Laplacian on a manifold
It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...
- 329
5
votes
1
answer
1k
views
$L^\infty$ estimate on heat equation with a lower order term
Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of
$$u_t - \Delta u = f$$
$$u(0) = u_0$$
$$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$
...
- 9,007
4
votes
1
answer
356
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 ...
- 3,574
2
votes
1
answer
375
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 2,243
4
votes
0
answers
434
views
Scattering for rapidly decaying solutions of NLS
Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions
of the Nonlinear Schrödinger Equation" the following property.
Given the problem
\begin{equation}
\left\{
\begin{array}{rl}
...
- 3,574
2
votes
0
answers
87
views
1D inhomogeneous linear Schrodinger equation
I have the following problem:
$iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...
2
votes
0
answers
166
views
Getting an a priori energy estimate from PDE weak formulation
On a bounded domain $\Omega$, I have two functions $u$ and $v$ in $L^2(0,T;H^1(\Omega))\cap H^1(0,T;(H^1(\Omega))^*)$ satisfying
$$\frac{d}{dt}\int u^2 + c_1\int |\nabla u|^2 + n\int u^2 \leq n\int uv$...
1
vote
0
answers
588
views
How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?
Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$.
Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
- 142
2
votes
2
answers
732
views
Existence and uniqueness for two-dimensional time-dependent Schrödinger equation
I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions.
Unfortunately, I am a ...
CommunityBot
- 1
3
votes
1
answer
747
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 ...
- 36
4
votes
1
answer
254
views
Strongly continuous semigroups and symbols of pseudo differential operators
I am considering the Cauchy IVP for the evolution equation
$$u_t + \Psi u =0$$
where $\Psi$ is a linear pseudo differential operator with symbol $\widehat{\Psi}\left(\underline{\xi}\right)$.
The ...
- 52.3k
4
votes
1
answer
442
views
Need a regularity result for parabolic PDE, want $u' \in L^\infty((0,T)\times \Omega)$
Let us assume $\Omega \subset \mathbb{R}^n$ is as nice as required.
Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy
$$0 < a \leq g(x,t) \leq b < \...
CommunityBot
- 1
2
votes
0
answers
82
views
Properties of a Sobolev bound
I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...
- 193
1
vote
1
answer
129
views
$L^p$-bounding inequality [closed]
Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.
- 16.2k
9
votes
2
answers
553
views
Asymptotic behavior of Sturm-Liouville eigenvalues
I have two questions.
Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$.
Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$....
- 205
1
vote
0
answers
92
views
Perturbation in Besov space
$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
- 515
2
votes
1
answer
301
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
- 52.3k
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 ...
- 356
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 29.8k
2
votes
0
answers
110
views
Biharmonic Equation in a Rectangle with Some Uncommon Boundary Conditions
I asked this question on Mathematics network but it didn't receive any answers. So I assume it is just beyond the classic things in PDEs and I decided to ask it here too.
Consider the following ...
CommunityBot
- 1
0
votes
3
answers
320
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
- 16.5k
1
vote
0
answers
83
views
Boundedness of a function that satisfies a PDE-type inequality
Let $\Omega$ be a bounded Lipschitz domain, and let $u\colon[-T,0]\times \Omega \to \mathbb{R}$ be a function with $u(-T)=0$.
Suppose that
$$\sup_{-T \leq t \leq 0} \int_\Omega |(u(t)-k)^+|^2 + \int_{...
- 398
1
vote
0
answers
177
views
How does the $L^\infty$ norm of the solution of $-\Delta u + \lambda u =0$, $\partial_\nu u=\alpha$ depend upon $\alpha$ and $\lambda$?
Let $\lambda > 0$ be a constant and let $u$ be the weak solution on a bounded domain $\Omega$ of
$$-\Delta u + \lambda u = 0 \quad\text{in $\Omega$}$$
$$\partial_\nu u = \alpha \quad \text{on $\...
- 11
1
vote
1
answer
105
views
If $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$, then is $u \in L^\infty(0,T;X_1)$?
Let $X_0 \subset X_1 \subset X_2$ be continuous embeddings, with $X_0 \subset X_1$ compact.
Suppose $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$.
Is then $u \in L^\infty(0,T;X_1)$?
To apply ...
- 13k
1
vote
1
answer
440
views
$L^1$ convergence to equilibrium of solutions of heat equation
Let $u$ and $v$ be the weak solutions of
$$u_t - \Delta u = f$$
$$u(0)=u_0$$
and
$$-\Delta v = f$$
$$|\Omega|^{-1}\int_\Omega v =0$$
on a bounded domain $\Omega$, where $u$ and $v$ satisfy homogeneous ...
- 2,715
3
votes
1
answer
2k
views
The inverse of Laplacian operator for different orders
I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you!
Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open bounded ...
CommunityBot
- 1
4
votes
1
answer
328
views
Is Lax-Milgram true without the separability assumption?
I read the Lax-Milgram Theorem in the Navier-Stokes Equations by Temam:
Let $X$ be a separable Hilbert space (norm $\|\cdot\|_X$) and let
$$
a:X\times X\to\Bbb{R}
$$
be a bilinear continuous ...
CommunityBot
- 1
2
votes
0
answers
150
views
Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that it seems simple but I can not solve it.
Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
CommunityBot
- 1
2
votes
0
answers
491
views
$L^\infty-L^1$ smoothing effect for the heat equation
Let $\Omega$ be a bounded domain in $\mathbb{R}^n$.
Let $u \in L^2(0,T;V)$ be the weak solution of the heat equation
$$u_t - \Delta u = 0$$
$$u(0) = u_0$$
where $u_0$ is bounded initial data. Here ...
- 21
7
votes
1
answer
609
views
$H^s$ norm of a solution of a nonlinear Schrödinger equation
I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao.
They study the ...
CommunityBot
- 1
0
votes
1
answer
562
views
$H_0^1(\Omega)$ in the study of the Navier-Stokes Equations
This is cross-posted on MSE: https://math.stackexchange.com/q/1584519/9464
Let $\mathcal{V}$ be the space (without topology)
$$\displaystyle \mathcal{V}=\{u\in C_0^\infty(\Omega)\mid \nabla\cdot u=0\...
CommunityBot
- 1
5
votes
1
answer
481
views
A continuous path between two Sobolev functions
Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...
- 679
4
votes
1
answer
346
views
Reference for a Heat Process in a Wedge
I would like to ask about an explicit suggestion/reference for the following type of heat processes:
Roughly, assume we have a "wedge" $W$ of the following form - a domain in $\mathbb{R}^n$ with a ...
- 551
4
votes
1
answer
161
views
Commutator representation of certain smoothing operators
I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...
- 16.2k
1
vote
0
answers
158
views
On the differentiability of a certain map from $ (0,\infty) $ to $ \Bbb{R} $
This problem arose from my study of energy-conservation for non-linear Schrödinger equations. Suppose that we have the following data:
$ u \in C^{1} \! \left( (0,\infty),{L^{2}}(\Bbb{R}^{n}) \right) $...
- 1,396
0
votes
0
answers
471
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
4
votes
0
answers
500
views
Properties of the solution of the heat equation
Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...
CommunityBot
- 1
1
vote
0
answers
86
views
Asymptotics of a elliptic pde when exponent gets large
I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball $...
- 1,385
2
votes
0
answers
244
views
A modification of Minty's trick?
I have the following result:
$$0 \leq \int_0^T (a(t)- |w(t)|)(b(t) - g^{-1}(|w(t)|))\quad\forall w \in L^2(0,T)$$
where $a$ and $b$ are both non-negative.
Does it follow that $b(t) = g^{-1}(a(t))$? ...
- 21
1
vote
0
answers
154
views
One-parameter group of unitary operators and Core
Question : For what condition on $V$ (we can take it smooth, bounded, whatever necessary), the one-parameter unitary group $U(t)$ associated to the seladjoint operator $A=-\Delta+V$ on $\mathbb{R}^n$ ...
- 11
0
votes
1
answer
123
views
The monotone operator in $BV$ space
I am considering the following minimizing problem:
$$
\min_{u\in BV(\Omega)}\{\frac12\|u-u_0\|_{L^2}^2 + |u|_{TV(\Omega)}\}
$$
where $u_0\in BV(\Omega)$, $\Omega\subset \mathbb R^2$ is open bounded, ...
- 3,085
3
votes
0
answers
74
views
Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$
Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
- 251
4
votes
1
answer
180
views
Elliptic regularity for two dimensional domains
Suppose $ \Omega$ is a smooth bounded domain in $ R^2$. I am interested in the regularity of solutions to
$$-\Delta u(x) = f(x) \mbox{ in } \Omega$$ with $ u=0$ on $ \partial \Omega$.
If $ f \in ...
- 914
10
votes
3
answers
1k
views
Historical developement of analysis and partial differential equations (especially in the 20th century)
Q: Is there a set of some comprehensive surveys or monographs describing (in
technical detail) the historical development of the various
subareas of analysis and partial differential equations?
I'...
CommunityBot
- 1
1
vote
1
answer
91
views
degree theory for elliptic equations; special solutions
I am interested in using degree theory to examine some semilinear problems.
But instead of just looking for solutions lets assume i am looking for a certain class of solutions; for instance lets ...
CommunityBot
- 1
12
votes
0
answers
477
views
Are Sobolev trace spaces equal from both sides of the boundary?
Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
CommunityBot
- 1
2
votes
0
answers
86
views
Regularity of $u$ in $u_t - \Delta \beta(t,u) = f$, can we get $u_t$ is a function?
I'm looking for reference discussing the regularity of the weak solution $u$ to the equation
$$u_t - \Delta \beta(t, u) = f$$
$$u(0) = u_0$$
where $\beta(t,\cdot)$ is a nonlinear function depending ...
- 51