All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 825
2
votes
1
answer
288
views
Reference request for semilinear PDEs in dimension 2
I am interested in the study of the (semi-linear, I suppose) equation
$$\begin{cases}-\Delta u(x,y)+q(x)u(x,y)+h(x)=f(u(x,y)-kx),\;\;(x,y)\in\Omega,\\
u=g,\;\;\;\text{on }\partial\Omega.\end{cases}$$
...
- 597
2
votes
2
answers
360
views
Estimate of a solution of Schroedinger equation for a free particle
Let $\psi(x,t)$ be a solution of the Schroedinger on the line
$$i\frac{\partial \psi}{\partial t}=-\frac{1}{2m}\frac{\partial^2 \psi}{\partial x^2}.$$
One assumes that $\psi(x,0)$ "behaves well" as $...
- 21.8k
2
votes
1
answer
336
views
Is this a "contradiction" on stochastic Burgers' equation? How to understand it?
For the stochastic Burgers' equation with linear noise, I can deduce two results. Both of them can be applied to same initial data, but the first result means the global existence with high ...
2
votes
1
answer
339
views
Why is this test function admissible? [Paper explanation]
Reading Non-linear Elliptic and Parabolic Equations Involving Measure Data by Boccardo$\&$Gallouet , I had trouble understanding the following:
Why is $\psi(u_n)\chi_{(0,t)}$ admissible as a ...
- 227
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:[...
2
votes
1
answer
1k
views
Proof of Agmon's inequality in $\mathbb{R}^3$
According to Wikipedia, Agmon's inequality provides a bound on the $L^\infty$ norm of a $H^2$ function on a (regular) subset of $\mathbb{R}^3$. In the book of JC Robinson et al. "The Three-...
- 93
2
votes
1
answer
696
views
Does the following type of Gronwall inequality hold?
Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$.
Suppose that
$$
u(t) \...
- 471
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 1,759
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 969
2
votes
2
answers
755
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
2
votes
1
answer
160
views
Minimum solution over closed ball of $H_0^1(\Omega)$
Since more than 4 months ago, I have posted a question on Mathstack and I haven't recieved any concrete answers. The link to the original post with the problem and my attempts are here.
To summarize, ...
- 123
2
votes
1
answer
200
views
Proof of a discrete isoperimetric inequality
The following inequality appears in the proof of certain isoperimetric-type inequalities for analytic functions in two dimensions:
$$\sum_{m=0}^{\infty}\frac{|c_m|^2}{m+1} \leq \pi \left(\sum_{m=0}^{...
- 434
2
votes
1
answer
150
views
Two PDE for one unknown?
Let $x \in (0,L)$, $t \in (0,T)$, and let $f_1 = f_1(x,t) \in \mathbb{R}$, $f_2 = f_2(x,t) \in \mathbb{R}$, $u^0 = u^0(x) \in \mathbb{R}$ and $g= g(t) \in \mathbb{R}$ be continuous functions.
My ...
- 115
2
votes
1
answer
352
views
Poisson equation on noncompact manifold
Let $(M,g)$ be a complete non-compact manifold with bounded geometry, such that the Sobolev embeddings hold and $C^\infty_c$-functions are dense in $L^p_k$ space.
For the equation
$$\Delta u=f,$$
...
- 1,915
2
votes
1
answer
219
views
Let $X\subset Y$ be a dense inclusion of reflexive Banach spaces. Then is $C_c^\infty(\Omega;X)\subset C_c^\infty(\Omega;Y)$ dense?
Let $X$, $Y$ be reflexive Banach spaces, and let $\imath:X\hookrightarrow Y$ be a bounded inclusion with dense image. Then for any domain $\Omega\subset\Bbb R^n$ we may define $C_{\mathrm c}^\infty(\...
- 1,247
2
votes
3
answers
978
views
"Must read" papers in functional analysis and PDE (à la Trefethen) [closed]
The following question has been inspired by "Must read" papers in numerical analysis.
In 1993, Prof. Trefethen published a NA-net posting with a list of thirteen papers that he had used in ...
2
votes
1
answer
232
views
Generalization of maximum principle to other norms
Consider the Laplace equation $\Delta u=0$ in $\Omega \subset \mathbb{R}^d$ with Dirichlet boundary conditions, i.e. $u=g$ on $\delta \Omega$. By the maximum principle we know that the solution $u$ ...
- 2,286
2
votes
1
answer
2k
views
Sobolev Space, "characteristic function" for the weak derivative
Let $\Omega$ be an open bounded subset of $\mathbb{R}^N$, working in the space $H_0^1(\Omega)$ with the inner product
$$(u,v)_{H_0^1} = \int_\Omega \nabla u \cdot \nabla v$$
for $u\in H_0^1$ and $\mu(...
- 485
2
votes
1
answer
362
views
Tempered distribution solution to a simple PDE
Let's consider the following PDE in $\mathbb R^d$ :
$$\frac{\partial^d u}{\partial x_1...\partial x_d}=f$$
where $f$ is a tempered distribution with support in $\mathbb R^d_+$. There is a result by ...
- 630
2
votes
1
answer
1k
views
Strong convergence in the Bochner space L^p([0,T],X)
Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$.
Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let $x_n(t)\in X_1$ be ...
- 843
2
votes
2
answers
470
views
Linear coupled parabolic PDE system with Holder continuous coefficients
I am interested in proving existence/uniqueness to: find $u(x,t)$, $v(x,t)$ such that
$$u_t - a_1u_{xx} - a_2u_x - a_3u -a_4v = f$$
$$v_t - a_5u_{xx} - a_6u_x - a_7u - a_8v_{xx} - a_9v_x - a_{10}v = g$...
- 55
2
votes
1
answer
1k
views
Green's function for wave equations in R² or R³
Hello,
For almost one year, I am searching for the Green's function for wave equation in R² or R³ with some boundary conditions. As far as I know, when the boundaries permit the method of images, we ...
- 1,649
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 1,245
2
votes
1
answer
644
views
Reference request: inverse of differential operators
I have asked a similar question on MSE but I did not receive any replies, so I am reposting here in case it is more appropriate (though I have slightly generalized the question).
As an example ...
- 721
2
votes
1
answer
241
views
Strategy of the proof of the "minimal entropy condition" for scalar conservation laws
Combining Theorem 2.3 and Corollary 2.5 of this paper gives that, for a strictly convex conservation law
$$u_t + f(u)_x = 0,$$ satisfying the entropy condition
$$\eta(u)_t + q(u)_x \le 0$$ in the ...
user139844
2
votes
1
answer
432
views
Second-order elliptic regularity with rough coefficients
Let $\Omega \subseteq \mathbb R^n$ be a bounded open set with smooth boundary. Let $k\geq 1$, $\alpha\in(0,1)$, $a_{ij},b_i,f \in C^{k,\alpha}(\Omega)$ for $i,j=1,...,n$, and define the operator
$$L = ...
- 45
2
votes
1
answer
2k
views
Norms in Sobolev space $W^{1,\infty}$
Let $n\in\mathbb{N}$ and consider the Sobolev space $W^{1,\infty}(\mathbb{R}^n)=\lbrace u\in L^{\infty}(\mathbb{R}^n):\partial_iu\in L^{\infty}(\mathbb{R}^n) \rbrace$. A function is in $W^{1,\infty}$ ...
- 237
2
votes
1
answer
494
views
Fundamental Theorem of Gamma-Convergence
Let $(X, d)$ be a metric space and $F_\varepsilon, F\colon X\to [-\infty, \infty]$. Suppose $F_\varepsilon$ is an equicoercive sequence of functions on $X$, i.e. for all $t\in\mathbb{R}$ there exists ...
- 155
2
votes
1
answer
230
views
Integration by parts with Hilbert transform
Is there a good integration by parts formula to compute
$$\int_{0}^\infty f \ H (f') dx,$$
where $H$ denotes the Hilbert transform and $f$ is a smooth function?
- 303
2
votes
1
answer
277
views
Weak-star approximation of smooth functions in weak $L^p$-space
It is well known that the weak space $L^{p,\infty}$ has less density property contrary to standard $L^p$ space. Related to this one, I'm struggling to prove the following statement which is given in ...
- 323
2
votes
1
answer
205
views
Estimates for an elliptic PDE
Let's say I have an equation of the form $\Delta A = J$ where $J=u\nabla u + A|u|^2$ (Clarification: We are on $\mathbb{R}^3$ and $u$ is assumed to be in $H^1(\mathbb{R}^3)$). Then I could simply ...
- 469
2
votes
1
answer
146
views
On $s$-harmonic functions
Is this statement true?
A bounded positive function $v\in C^{2}(\mathbb R^N)$ decaying to zero which is $s$-harmonic function ($s\in (0, 1)$) outside a ball behaves like $|x|^{2s-N}$ near infinity. ...
- 407
2
votes
1
answer
178
views
References for Neumann eigenfunctions
I am looking for references on eigenfunctions with Neumann boundary condition.
In an article, the author wrote in introduction that when a domain is planar polygon, the second eigenfunctions on it ...
- 721
2
votes
1
answer
93
views
Lipschitz bound on semigroups
Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator.
Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$
Now if you think about ...
2
votes
1
answer
169
views
Why $\|u\|_{\tau}\leq C[u]_{W^{s,p}}^a\|u\|_{L^q}^{1-a}$ not correct for $p=1$?
In an article I have the following lemma :
Let $d\geq 1$, $p>1$, $q\geq 1$, $\tau>0$, $s\in(0,1)$ and $a\in(0,1]$ s.t. $$\frac{1}{\tau}=a\left(\frac{1}{p}-\frac{s}{d}\right)+\frac{1-a}{q}.$$
...
- 103
2
votes
1
answer
102
views
Equivalence of different topologies of Kernel of constant coefficient hypoelliptic operator
Let $P(D)$ be hypoelliptic operator with constant coefficients in $\mathbb{R^n}$.Let $\Omega$ be an open subset of $\mathbb{R^n}$ and $\mathscr{N_\Omega}$ denote space of distribution solutions of ...
2
votes
1
answer
244
views
Smoothness of distributions defined by oscillation integrals
In M.A. Shubin's book Pseudodifferential Operators and Spectral Theory, we have the following statement.
Let $X\subset\mathbb{R}^n$ be an open set, and fix a symbol $a\in S_{\varrho,\delta}^m(X\...
- 1,247
2
votes
1
answer
102
views
Evolution equation invariance of sets
Let $A: D(A) \subset X \rightarrow X$ be a generator of a $C_0-$semigroup and $Z$ be a bounded operator on $X$, then the evolution equation for $u \in C([0,T], \mathbb{R})$
$$\varphi'(t) = A \varphi(t)...
- 115
2
votes
2
answers
141
views
Equality of spectra of products of operators
Let $A$ be a linear operator between two Hilbert spaces. Let $A^*$ be its adjoint.
Question. Under what conditions the non-zero spectra of $A^*A$ and $AA^*$ coincide counting multiplicities?
In my ...
- 21.8k
2
votes
1
answer
699
views
Schwartz kernel theorem
I would like to understand how the Schwartz kernel theorem works for some more difficult cases and therefore would like to discuss an example from scratch:
Let the Dirichlet Laplacian on the half-...
- 23
2
votes
1
answer
382
views
Is the translation/dilation of an $L^p$-multiplier again an $L^{p}$-multiplier?
Suppose that $m:\mathbb R \to \mathbb C$ satisfies: there exists $C > 0$ such that
$$\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}.$$
That is, $m$ is an $L^{p}$-multiplier. Let $M(L^{p}...
- 1,051
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 ...
- 181
2
votes
1
answer
1k
views
Mixed (anisotropic) Sobolev spaces
Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
- 23
2
votes
2
answers
402
views
Sobolev trace map: is the fractional seminorm bounded by just the gradient?
Let $M$ be a compact Riemann manifold. Consider the trace map $T:H^1(M) \to H^{\frac 12}(\partial M)$. Is it always the case that
$$|Tu|_{H^{\frac 12}(\partial M)} \leq C\lVert \nabla u \rVert_{L^2(M)...
- 29
2
votes
1
answer
330
views
functions of bounded variation and gradient vector measure
I want to prove a function of bounded variation on some domain $D\subset R^n$, $f\in BV(D)$, has the property that there is a constant $C$, such that
$$
\lim_{r\rightarrow 0}\frac{C}{r^{n+1}} \int_{...
- 21
2
votes
1
answer
79
views
There is some initial data such that the decay of the semigroup in it is faster than $t^{-n/2}$?
Lee and Ni show in their work Link Here that the heat semigroup $e^{t \Delta}u_0$ has decay as $t^{-\min \{a, n\} /2}$, $t \to \infty$ if $u_0 = C(1+|x|^2)^{a/2}$ if $a \neq n$. I'm trying to ...
- 677
2
votes
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 825
2
votes
1
answer
184
views
Prove if the fractional Laplacian of a function is bounded
Take $s\in (0, 1)$. I am trying to understand if $(-\Delta)^s (\log(1+x^2))$ is bounded, that is if there exists $R>0$ such that $|(-\Delta)^s (\log(1+x^2))|\le R$.
Here $(-\Delta)^s$ is the ...
- 123
2
votes
1
answer
620
views
On norm of the Sobolev space $H^2(\Omega)$, $\Omega \subset \mathbb{R}^n; n \geq 2$
Let the Sobolev space $H^2(\Omega)$ be defined with the norm $\|u\|_{H^2(\Omega)}=\Big(\sum_{|\alpha|\leq 2})\|D^{\alpha}u\|^2_{L^2(\Omega)}\Big)^\frac{1}{2}$.
I have found in several research ...
- 101