All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
1
vote
1
answer
197
views
Sufficient conditions for the boundary unit-normal vector field of a closed convex set to be Lipschitz continuous
This is followup to the following question: On the Lipschitz continuity of the unit-normal vector field of a polytope
Let $C$ be a (nonempty) closed convex subset of $\mathbb R^n$. Note that to every ...
- 6,853
3
votes
1
answer
178
views
Looking for a paper on axiomatic orthogonality in a vector space
I am looking for a paper "Linear spaces with disjoint elements and their conversion into vector lattices" by A. I. Veksler.
It was published in 1967 in Research Notes of Leningrad State ...
- 5,529
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
3
votes
0
answers
282
views
Left ideals of $\ell^{\infty}(A)$ containing all weakly null sequences in a Banach algebra $A$
Let $A$ be a Banach algebra. $\ell^{\infty}(A)$, the space of all bounded sequences in $A$, is a Banach algebra with pointwise operations.
Let $w_0(A)$ be the subspace of all weakly null sequences in $...
- 2,605
2
votes
0
answers
559
views
Multiplication in Sobolev space with negative exponent
My initial problem is the following: I would like to estimate $\lVert f^2\rVert_{H^{-2}}$ in the sense of Sobolev embeddings, where $f:\Omega \rightarrow \mathbb{R}$ is a function defined on a bounded ...
- 914
10
votes
1
answer
593
views
Density of smooth function in Hilbert spaces
I am looking for a simple reference to the following fact:
If $f:\Omega\to\mathbb{R}$ is continuous, where $\Omega\subset H$ is an open subset of a separable Hilbert space $H$, then for any $\...
- 28k
1
vote
0
answers
56
views
Smooth approximation in Sobolev spaces for surfaces with boundary
Let $\mathbb{D}$ be the unit disk in $\mathbb{C}$ with closure $\overline{\mathbb{D}}$, and let $\varphi:\partial \mathbb{D}\to \partial \mathbb{D}$ be any continuous homeomorphism. Let $\mu$ be a ...
- 163
8
votes
0
answers
695
views
In need of help with parsing non-Archimedean function theory
My current work revolves around studying functions from the $p$-adic integers to the $q$-adic rationals, where $p$ and $q$ are distinct primes ("$(p,q)$-adic functions", as I call them). I'...
- 1,284
3
votes
0
answers
80
views
Every Borel linearly independent set has Borel linear hull (reference?)
I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone.
Theorem. The linear hull of any linearly independent Borel set in a Polish ...
- 41.8k
4
votes
1
answer
285
views
Elliptic regularity when the Lagrangian is possibly infinite
I want to solve variational problems of the form
$$\inf_u \int_{-1}^1 \phi(u'(x)) \text{ with } u(-1)=u(1) = 0,$$
where $\phi(p)$ is convex and is allowed to take on the value $+\infty$ for some ...
- 981
2
votes
1
answer
246
views
Change of variable and boundary data for Laplace equation
Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem
$$
\begin{cases}
-\Delta u = 0 & x \in \Omega \\
u = 1 & x \in \partial \Omega
\end{cases}
$$
Does it make ...
- 161
3
votes
0
answers
479
views
de Rham currents/distributions on manifolds with boundaries
My main source for currents and distribution theory on manifolds in general is de Rham's Differentiable Manifolds. To recap, let $M$ be a smooth, $m$ dimensional real manifold without boundary. De ...
- 2,792
2
votes
1
answer
196
views
Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$
Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem
$$
(1) \quad \begin{cases}
(-\Delta)^s u +\lambda u= 0 & x \in \Omega \\
u = 1 & x \in \mathbb R^n \...
- 161
1
vote
0
answers
116
views
A formula involving the heat kernel on the universal cover of a punctured plane
I am looking for the earliest reference to the following formula:
$$
\int_0^\infty\tilde{P}(1,e^{i\alpha},t)\frac{dt}{t}=\frac{1}{\pi \alpha^2},\quad \alpha>0,
$$
where $\tilde{P}(x,y,t)$ is the ...
- 8,992
1
vote
0
answers
177
views
A question on Gaussian small ball probability
Consider the random variable $$ G = \sum_{j=1}^{\infty} \lambda_j Z_j^2 $$
where $Z_j \sim_{\substack{i.i.d}} N(0,1)$ and $\lambda_j$ some non increasing sequence of positive numbers with $\sum_{j=1}^{...
- 119
1
vote
0
answers
82
views
On a core for Neumann Laplacians
Let $D \subset \mathbb{R}^d$ be a bounded smooth domain. We consider the Neumann semigroup $\{T_t\}_{t>0}$ on $C(\overline{D})$. In other words, $\{T_t\}_{t>0}$ is the semigroup of the normally ...
- 721
-1
votes
1
answer
120
views
Definition of a $\psi$-Banach space [closed]
Let $X$ be a Banach space. Let $\mathcal{F}$ be the family of all the bounded subsets of $X$. If $I$ is the identity map on $X$, we shall denote by $\operatorname{span}\{I\}$ the vector space ...
- 291
5
votes
1
answer
244
views
Dual Banach space $X^*$ complemented in $\mathrm{Lip}_0(X)$?
$\DeclareMathOperator\Lip{Lip}$Let $X$ be a real Banach space. The dual $X^*$ is a closed subspace of $\Lip_0(X)$. ($\Lip_0(X)$ denotes the space of real-valued Lipschitz functions $f:X\to\mathbb{R}$ ...
0
votes
0
answers
96
views
Books on limiting properties of matrices with growing size
This question has been posted on Math-Se previously.
I am studying asymptotic properties of the Projection Matrix
$$
H_n=X'(X'X)^{-1}X
$$
By the Gerschgorin disc theorem, the bounds on the ...
- 101
2
votes
0
answers
108
views
Characterization of inverse limits of finite-dimensional convex cones
Consider a countable inverse system $C_1\substack{f_1 \\ \leftarrow} C_2 \substack{f_2 \\ \leftarrow} C_3 \substack{f_3 \\ \leftarrow} \ldots$ where the $C_i$ are finite-dimensional convex cones of ...
- 21
1
vote
1
answer
182
views
Proving an estimate for the Neumann problem on $\mathbb{R}^3 \setminus B_1$ in Weighted Sobolev spaces
Let $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
It is known that for every $g \in H^{\frac{1}{2}} (\partial M)$, and for an appropriate $\delta$, there exists a unique solution $u$ ...
- 969
1
vote
0
answers
86
views
Reference request: Optimal controls can be assumed to take values in a convex set
Consider the deterministic controlled system:
$$\dot x(t) = Ax(t) + Bu(t), \ t \in [0, T]$$
$$x(0) = x_0$$
where $x: [0, T] \to \mathbb R^n$ is the controlled state process, $A \in \mathbb R^{n \times ...
- 6,155
10
votes
2
answers
489
views
Surjective linear isometries on $\ell_\infty(\mathbb{N})$
In Volume 1 of "Classical Banach Spaces" Lindenstrauss and Tzafriri note that all surjective linear isometries on $\ell_\infty$ are of the from $(a_i) \mapsto (\varepsilon_i a_{\pi(i)})$ ...
- 1,073
2
votes
0
answers
110
views
About Hilbert-Haar theory
The Hilbert-Haar theory says that functionals $\mathcal{F}(u,B)=\int_{B} F(\nabla u)\,dx$, where $F$ is a convex function and $B$ is a bounded domain in $\mathbb{R}^N$, take a minimum in the space of ...
5
votes
0
answers
163
views
Commutator of pseudodifferential operator and multiplication operator
Cross-post from math.sx.
Let $\eta:\mathbb R^n\to[0,1]$ be a smooth and compactly supported function and assume $f:\mathbb R^n \to\mathbb R$ is measurable. I want to bound the commutator of the ...
- 245
0
votes
1
answer
163
views
Regarding socle of a C* algebra
I wanted to know if the socle of a complex C*-algebra is essential?
Can anyone suggest a text where the socle is studied in detail. I tried reading it from the book by Bernard Aupetit, A Primer in ...
- 149
1
vote
1
answer
116
views
uniform convergence of $H^r$ projectors on compact sets?
Let $\Omega\subset \mathbb R^d$ be a smooth, bounded domain. Let $(e_n)_{n\geq 0}\subset L^2(\Omega)$ be the Hilbert basis generated by the Dirichlet-Laplacian eigenfunctions, i-e $-\Delta e_n=\...
- 5,380
2
votes
1
answer
156
views
Intuition/references for understanding bound states/discrete spectrum relationship
I am trying to form intuition for the following `well-known' facts about spectrum of unbounded operators (Schrodinger/wave etc.) $L$ on $\mathbb{R}^n$.
Let $\lambda\in\mathbb{R}$ satisfy
$Lf=\lambda f$...
- 116
1
vote
0
answers
119
views
Invariant on C*-algebras-number of closed unbounded derivation it admitted
In working of the unbounded derivation of C*-algebras. I observed the following: For topological manifold $M$, the number of closed, linear independent, unbounded derivation it admitted on $C(M)$ is ...
- 523
2
votes
0
answers
85
views
Functions with smooth projections on finite-dimensional subspaces
Let $E,F$ be Banach spaces and $F$ be finite-dimensional and $E$ be strictly convex. Let $f\in C(F,E)$ have the property that:
$$
\text{For every finite-dimensional subspace $E'\subseteq E$ we have } ...
- 5,405
2
votes
0
answers
125
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system
...
- 1,245
5
votes
1
answer
518
views
Who are the owners of the compactness theorem in $L^p(\Bbb R^d)$?
As the title says, I am interested to know Who are the owners of the compactness theorem in $L^p(\Bbb R^d)$. There is some confusion in the literature.
Let recall that the compactness theorem in $L^p(\...
- 1,101
6
votes
1
answer
191
views
Fractional derivative notation in wave turbulence
This is my first question in MathOverflow and I will do my best to format it correctly and make it clear.
I am reading a paper on dispersive wave turbulence which introduces the following family of ...
- 163
1
vote
0
answers
346
views
Duality of maps on bounded vs trace-class operators (Schrödinger-Heisenberg dual)
$\newcommand\calH{\mathcal H}
\newcommand\calK{\mathcal K}
\newcommand\tr{\operatorname{Tr}}$I am looking for a (citable) reference for the following fact:
Bounded linear maps $g:T(\calH)\to T(\calK)$...
- 896
2
votes
1
answer
104
views
Operators "building" linear independant sets
Let $E$ be a separable Banach space and let $T\in L(E,E)$.
Is there a condition on $T$ ensuring that:
$$
\mbox{$\{x_n\}_{n=1}^N\subseteq E$ is linearly independent} \Rightarrow
\{T(x_n)\}_{n=1}^N\cup \...
- 93
2
votes
1
answer
171
views
Mean value formula for fractional heat equation
For the solution $u(z) = u(t,x)$ of the heat equation $u_t -\Delta u = 0$ we have
$$u(z_0) = \int_{\Omega_r(z_0)}u(z) K_r(z_0-z) dz,$$
where $$\Omega_r(z_0) = \left\{z \in \mathbb{R}^{N+1}: \Gamma(z_0-...
- 161
18
votes
6
answers
4k
views
What is the best place to learn about the mathematical foundations of quantum mechanics?
I'm looking for good references to learn about the mathematical foundations of quantum mechanics. By mathematical foundations, I do not mean rigorous quantum mechanics in general but the axioms behind ...
- 1,305
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
- 5,405
1
vote
0
answers
132
views
Can we construct non-closable unbounded derivation in abelian C* algebras?
Can we construct an unbounded derivation on abelian C* algebra which is not closable?
One of possible construction may be found in the paper by Bratteli and Robinson(Unbounded derivations of C*-...
- 523
1
vote
0
answers
90
views
Dual of essentially compactly supported functions on a hemi-compact Radon space
Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
0
votes
1
answer
306
views
Regularity properties of conditional distributions
Let $(X,Y)\in\mathbb{R}^n\times\mathbb{R}^m$ be a pair of random variables with joint density $p(x,y)$. I am interested in the regularity properties of the conditional densities $p(y|x)$ and $p(x|y)$ (...
- 23
0
votes
0
answers
72
views
Di Perna-Lions theory for transport equations with an additional integral operator
I'm looking for a reference about some possible generalization of the well-known Di Perna-Lions theory for transport equations (say, on $[0,T] \times \mathbb{R}^d$) of the form
\begin{align}
\...
- 161
4
votes
1
answer
279
views
Reference request: Baire's theorem for operator ranges
Let $F$ be a Banach space. A vector subspace $U \subseteq F$ is called an operator range if there exists a Banach space $E$ and a bounded linear mapping $T: E \to F$ such that $TE=U$. By a quotient ...
- 12.5k
0
votes
1
answer
98
views
Reference request: Is if possible to estimate the local behaviour of the solution of $\nabla \cdot a(x) \nabla f=g$ via constant coefficients?
Consider the divergence form uniformly elliptic operator $\nabla \cdot a(x) \nabla$
where the coefficient $a$ are smooth and bounded and $D$ is a bounded
and smooth domain of $\mathbb R^d$
$$
\begin{...
- 446
2
votes
0
answers
65
views
Reference request for type of specific integral equation in two variable:
Consider the following integral equation:
$$\int_0^\infty K(t,y)\phi(t,x)dt=0$$
Here, $K(t,y)$ is a trigonometric kernel and
$\phi(t,x)$ is monotonic wrt $x$ ( for fixed $t$).
I want to find the ...
- 41
2
votes
0
answers
654
views
Convergence of operator in norm resolvent sense and their eigenvectors
Let $\{T_n\}_{n=1}^\infty$ and $T$ be (unbounded) self-adjoint operators and $T_n\to T$ in norm resolvent sense, that is, for some $z\in \mathbb{C} \setminus \mathbb{R}$, $\|(zI- T_n)^{-1}- (zI- T)^{-...
- 21
1
vote
2
answers
106
views
Green function of symmetric stable process in dimension 1 and 2
Are the results in this paper on the Green function of a symmetric stable process available also in space dimension $d =1$ and $d=2$? The main theorems here are stated only for $d \ge 3$.
- 99
2
votes
1
answer
287
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
0
votes
1
answer
96
views
Interpolated Sobolev norm inequality
Let $\Omega \subset \mathbb{R}^n$ be a bounded Lipschitz set, and let $W^{k,p}(\Omega)$ denote the usual Sobolev space with $k \in \mathbb{N}$ being the order of the derivatives and $p \in [1, \infty)$...
- 13
1
vote
0
answers
105
views
Derivative and Green function of Fractional Laplacian in a bounded domain: $(-\Delta)^s\nabla_x G(\bar x,z) = 0 \text{ in } \Omega $?
Let $G$ be the Green function of the Fractional Laplacian $(-\Delta)^s$ in a domain $\Omega$ (which is known explicitly for the special case of the ball: link). Let $\bar x \in \Omega$ be fixed. Does ...
- 303