All Questions
Tagged with differential-operators fa.functional-analysis
115 questions
5
votes
2
answers
149
views
Showing an operator is (or not) closed on $L^2(\mathbb{R})$
I am linearizing nonlinear waves and get operators of the form below. Everything is considered in $L^2(\mathbb{R})$.
Consider the operator $L_1=\frac{d}{dx}$. The domain is $H^1(\mathbb{R})$ and it is ...
0
votes
0
answers
141
views
The tensor product of two Fredholm operators
What can be said about the tensor product $T\otimes S$ of two Fredholm operators $T:X_1\to Y_1$ and $S:X_2 \to Y_2$ where $X_1,X_2,Y_1, Y_2$ are Banach spaces and tensor product of ...
- 356
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
- 765
15
votes
2
answers
888
views
Hodge decomposition of smooth n-forms: is it an isomorphism of topological vector spaces?
Fix a compact Riemannian manifold $M$ (leaving the metric implicit). What I'd like to know is if the corresponding Hodge decomposition of smooth $n$-forms
$$
\Omega^n(M) \simeq \mathcal{H}^n(M)\oplus ...
- 35.5k
1
vote
0
answers
56
views
Finding thin plate spline subjected to boundary conditions
I am trying to formulate a problem as a PDE. What I want to know is if my formulation is correct, if it admits solution and what am I missing.
This question is related to : Thin-Plate-Spline ...
- 115
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
- 8,998
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
3
votes
2
answers
147
views
Lumer-Phillips-type theorem for non-autonomous evolutions
The classical Lumer-Phillips theorem characterizes the generators of contraction semigroups. I am looking for a similar characterization or at least a sufficient condition for a family of unbounded, ...
- 300
-4
votes
1
answer
144
views
Coordinate free computation of the second derivative of a functional [closed]
Let $F(g(f))$
be a functional that sends functions of a vector variable (from $n$-dimensional vector space) to $\mathbb R$.
$g$
is some function of scalar valued functions $f$.
I'm interested in a ...
- 1
4
votes
1
answer
228
views
Diagonalizing selfadjoint operator on core domain
Let $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$...
- 143
1
vote
1
answer
207
views
Differential operators in $\Bbb R^n$
Put $P_j=\frac{\partial}{\partial \xi_j}$ et $Q_j=2 i \xi_j$ with$\xi=\left(\xi_1, \ldots, \xi_n\right)$ et $x=\left(x_1, \ldots, x_n\right)$. How to prove :
$\exp \left(\sum_{j=1}^n x_j P_j\right)(...
- 501
4
votes
1
answer
156
views
approximation of a Feller semi-group with the infinitesimal generator
Let $T_t$ a Feller semigroup (see this) and let $(A,D(A))$ its infinitesimal generator.
If A is a bounded operator it is easy to show that the Feller semi-group is $e^{tA}$.
Is this formula always ...
- 293
2
votes
0
answers
67
views
Künneth formula and continuity of the isomorphism
In the book Sheaf Theory, by Bredon (edition from 1997), Theorem 14.1, he writes a natural exact sequence, which, in some nice cases, leads to the Künneth formula. Do we have any reason to believe ...
1
vote
0
answers
153
views
Maximal domain of an unbounded linear operator in a weighted Hilbert-space
Let's consider the following (unbounded) linear operator. (So called transport operator in some context.)
$$ \mathrm{T}: \mathcal{H} \supset \mathcal{D}(\mathrm{T}) \to \mathcal{H} , f \mapsto \mathrm{...
- 185
3
votes
1
answer
606
views
On the domain of the Neumann Laplacian
Let $U$ be a bounded domain of $\mathbb{R}^d$, and write $m$ for the Lebesgue measure on $U$. For $k=1,2$, we denote by $H^k(U)$ the set of all locally $m$-integrable functions $u\colon U \to \mathbb{...
- 721
2
votes
1
answer
149
views
On a core for Neumann Laplacian on $C(\overline{D})$
Let $D \subset \mathbb{R}^d$ be a bounded $C^1$ domain. We consider a reflected Brownian motion $X=(\{X_t\}_{t \ge 0},\{P_x\}_{x \in \overline{D}})$ on $\overline{D}$. Let $\{p_t\}_{t>0}$ denote ...
- 721
0
votes
0
answers
137
views
Elliptic partial differential equations with Robin boundary condition and domain of fractional power of Robin Laplacian operator
This question has been posted on Mathematics Stack Exchange but got no response, and so I put it here.
When I read the paper "On the attractor for a semilinear wave equation with critical ...
6
votes
1
answer
575
views
Spectrum of the complex harmonic oscilllator
Let
$$
H_\lambda=-\frac{d^2}{dx^2}+\lambda^2 x^2,\quad\lambda>0.
$$ It is known that the spectrum of $H_\lambda$ is the set $\{(2n-1)\lambda,n\in \Bbb N^*\}$. Now put
$$
(U_\mu \phi)(x)= e^{\mu\...
- 501
4
votes
1
answer
311
views
Conormal distributions and the wave front set
Let $X$ be a smooth closed manifold and $Y$ a regular submanifold. For all conormal distributions at $Y$ on $X$, their wave front set is contained in the conormal bundle of $Y$. Is the reciprocal true?...
2
votes
0
answers
266
views
Compactness of a nonlinear operator
Let $H^{1}_{0}(0;\pi)=\{f\in L^{2}(0; \pi): f^{\prime}\in L^{2}(0; \pi)\ \text{and}\ f(0)=f(\pi)=0 \} .$ equipped with the following norm $$\|f\|=\Big(\int_{0}^{\pi}|f'(x)|^2dx \Big)^{\frac{1}{2}}$$
...
- 39
0
votes
0
answers
76
views
Linear dependence of the derivatives of a vector valued function
Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function
$$
g:\mathbb{R}^5\rightarrow\mathbb{R}^5
$$
given by
$$
g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
- 8,998
0
votes
0
answers
92
views
Positive definite matrix and Hörmander theory
Let $\varphi \in C_{0}^{\infty}, \varphi\neq 0$. We'll consider the inner product in $L^{2}.$
Let $\alpha,\beta$ multi-index, $m\in \mathbb{N}$ such that $|\alpha|,|\beta|\leq m$ and set
$$
\varphi_{\...
- 101
0
votes
0
answers
126
views
On the convergence of operators and their spectra
We consider a sequence of operators $\{L_n\}_{n=1}^\infty$. Each operator $L_n$ is a densely defined (possibly unbounded) closed linear operator on a real Hilbert space $H_n.$ The domain of $L_n$ is ...
- 721
14
votes
1
answer
668
views
Why are we interested in spectral gaps for Laplacian operators
Let $M$ be a Riemannian manifold and let $\Delta$ be its Laplacian operator. There is a large literature on a spectral gap for such a $\Delta$, that is, finding an interval $(0,c)$ which does not ...
- 185
0
votes
1
answer
297
views
Application of the Frechet derivative [closed]
$f\colon U\subset \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$ is differentiable at $x_{0}$ if there exist a linear transformation $T\colon \mathbb{R}^{n}\longrightarrow\mathbb{R}^{m}$, such that:
\...
- 131
4
votes
2
answers
242
views
Sharp Dirichlet heat kernel estimates in exterior domains?
I am right now working on some linear parabolic problems studying the behaviour of its solutions for large initial data. To do this, I have needed to use some estimates of the Dirichlet and Neumann ...
- 61
1
vote
0
answers
74
views
Reference request: normal trace and the conormal derivative associated to the operator $Div (A \nabla)$ for a symmetric positive definite $A$
Let $A$ be a $3\times 3$ symmetric positive definite matrix. I am looking for a reference where I could find in which sense the normal trace $\gamma$ and conormal derivative $\gamma_n$ associated to ...
- 63
0
votes
0
answers
40
views
Time regularity of traces
I have a question about the time regularity of the traces in one dimension.
Suppose I have a function space $$X = C^1([0,T];L^2(0,1))\cap C([0,T],H^1(0,1))$$ and I define an operator $E$ on $X$ by $(...
- 11
2
votes
1
answer
206
views
On which subspace $W\subset C^{\infty}[0,1]$ is $(Df)(x)=xf'(x)$ a bounded operator provided all functions in $W$ are flat functions?
I have already asked this question on MSE; now I repeat it on MO.
https://math.stackexchange.com/questions/4132346/on-which-subspace-w-subset-c-infty0-1-is-df-xfx-a-bounded-operator
First we ...
- 356
4
votes
1
answer
119
views
Domain of Friedrichs extension of $-\partial^2_r + mr^{-2} : L^2(0,\infty) \to L^2(0,\infty)$
Consider the second order differential operator
$$
A = -\partial^2_r + mr^{-2} : L^2(0, \infty) \to L^2(0,\infty), \qquad m \ge -\frac{1}{4},
$$
equipped with domain $C^\infty_0(0, \infty)$. Since $\|...
- 481
3
votes
1
answer
140
views
Infinite-dimensional analogue of "positive-negative splitting implies non-degeneracy"
(This question is related to Splitting a space into positive and negative parts but different.)
Given a finite-dimensional vector space $V$ over $\mathbb{R}$, what I call a "positive-negative ...
- 1,804
1
vote
0
answers
92
views
Closure of $f\mapsto\sigma f''$ on $\mathcal{C}^2(\,[0,1]\,)$
Let $\sigma\in\mathcal{C}^0(]0,1])$ a positive function such that $\lim\limits_{t\rightarrow 0}\sigma(t)=0$, and $f\in\mathcal{C}^0(\,[0,1]\,)\cap\mathcal{C}^2(\,]0,1]\,)$ such that $\lim\limits_{t\...
- 449
1
vote
1
answer
107
views
Derivatives and exponential derivatives quotient operators on two variables
I consider for example the following function of two variables given by
$$f(x,y)=\sum_{n=0}^{+\infty}\frac{\delta_{x}^{-m} \exp(\delta_{x})}{\delta_{y}^{-m}\exp(\delta_{y})}\left(\frac{x}{y}\right)^{n}...
- 159
3
votes
0
answers
774
views
The exponential derivative operator
Thank you very much for the interesting responses in my previous question The Quotient exponential operator.
I have another complicated formula related to the previous one in the following
$$
\exp\...
- 159
3
votes
0
answers
198
views
Dirichlet to Neumann operator and the Riesz transform
Consider the manifold $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Equip $M$ with an asymptotically flat metric $g$ of high order. Let $\gamma$ be the induced metric on $\partial M$....
- 969
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
2
votes
0
answers
42
views
Analysis of coefficients for quickly vanishing analytic vector field
Let $u = (u_1, u_2, u_3): \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a divergence-free analytic vector field for $n =3$ or $n =4$, i.e., $u_i : \mathbb{R}^n \rightarrow \mathbb{R}$ are analytic ...
- 749
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
- 749
1
vote
0
answers
235
views
Fredholmness of elliptic operator on Hölder spaces
Let $(M,g)$ be a smooth oriented closed Riemannian manifold, $E\to M$ a smooth vector bundle, and $C^{k,\alpha}(E)$ the Banach space of sections of $E$ that are $k$-times differentiable (with respect ...
- 163
5
votes
0
answers
191
views
Index of the Fredholm operator
I have two vector bundles $E_1$, $E_2$ over $M$ and an embedding of the smooth sections $\lambda : \Gamma(M, E_1) \rightarrow \Gamma(M, E_1 \oplus E_2)$. I consider a Fredholm differential operator $...
0
votes
0
answers
113
views
References for a proof or interpretation of deficiency indices theorem (von Neumann)
I am looking for a proof or some interpretation around why the domain of the new extension $D(A_U)$ in the Theorem below is given by its specific formula.
I have already searched in papers and here ...
- 41
3
votes
3
answers
383
views
Density of a functional space
Let $D$ be a bounded domain of $\mathbb{R}^n$ with smooth boundary $\partial D$. Is the following subspace dense in space $L^2(D)\times L^2(\partial D)$:
$$\{(f,f\rvert_{\partial D}) : f\in C^\infty(\...
user135093
1
vote
2
answers
535
views
Non-closed range space of Laplace operators?
Set $ -\Delta: H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3) $. Then $ \mathcal{R}(-\Delta) $ is non-closed?
Sorry if this question is trivial. I am not familiar with theory of ...
- 269
4
votes
3
answers
644
views
Question about the regularity of fractional Heat equation
Let $\Omega$ be a bounded smooth domain of $\mathbb{R}^n$, $0<s<1$ and $(-\Delta)^s$ denotes the restricted fractional Laplacian. Let consider the following fractional Heat equation:
$$
\...
- 371
1
vote
0
answers
151
views
Spectrum of a differential operator on $L^2(0, \infty)$
Let $A:H^n(0, \infty) \subset L^2(0, \infty) \to L^2(0, \infty)$ be the differential operator defined by
$$Af:= \sum_{j=0}^na_j f^{(j)}$$
for all $f \in H^n(0, \infty),$ where $a_j \in \mathbb{C}$ and ...
- 229
5
votes
2
answers
352
views
For which tempered distributions is the fractional derivative well-defined?
Let $\gamma \geq 0$ and consider the fractional derivative operator defined in Fourier domain by
$$\mathcal{F} \{\mathrm{D}^{\gamma} \varphi \} (\omega) = (\mathrm{i} \omega)^{\gamma} \mathcal{F}\{\...
- 2,306
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
- 1,903
2
votes
0
answers
99
views
1D Schrödinger Equation with Measure-Valued Coefficients
I've been looking at one of the simplest systems I can think of: a one-dimensional infinite square well on $[0,1]$ with Hamiltonian given by the following:
$$\hat{H}=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}...
- 21
2
votes
2
answers
385
views
Why we use Caputo fractional derivative in application?
I'm working on some papers which use Caputo fractional evolution equation (see on Wikipedia) as application for thier main result:
For example:
$$\left\{\begin{matrix}
^CD^{\sigma}_tx(t)+Ax(t)=&...
- 291
4
votes
0
answers
169
views
Inverse Laplacian and convolution in Albeverio's “Solvable Models in quantum mechanics”
I asked this question on math.stackexchange.com two weeks ago but got no answers so far and I got no clues from literature, so maybe someone here knows a reference. I hope it is ok to ask this ...
- 141