Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,435 questions with no upvoted or accepted answers
1
vote
0
answers
174
views
Interpolation of Sobolev spaces with constraints
Let us consider a real interval $[0, L]$, with $a\in (0, L)$, and let $I_1=(0, a)$ and $I_2=(a, L)$. We denote by $H^k(I_1)$ and $H^k(I_2)$ the usual Sobolev spaces, defined for $k\in \mathbb{N}$. Now,...
- 81
1
vote
0
answers
73
views
How to understand "sparse graph limits"
For an $n$-vertex graph $G$, we say it is a sparse graph if $e(G)=o(n^2)$. Otherwise if $e(G)=\theta (n^2)$, we say it is a dense graph.
For a sequence of dense graphs $G_1,G_2,\dots,$ we know that it ...
- 359
1
vote
0
answers
55
views
Characterizing one-sided M-projections on real C*-algebras
Let $A$ be a real C*-algebra, and let $P: A \to A$ be a bounded linear projection. We say that $P$ is a left M-projection if the map
$$
v_P: A \to C_2(A), \quad x \mapsto \begin{pmatrix} P(x) \\ x - P(...
- 11
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
1
vote
0
answers
51
views
Compact embeddings RKHSs into Sobolev Spaces
Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
1
vote
0
answers
74
views
Convexity and subdifferential monotonicity
Do you know any reference where I can find some results in this sense:
Consider $W:K\to [0,\infty)$ is a functional defined on a convex cone $K\subset X$, where $X$ is a Banach space. Then the ...
- 1,759
1
vote
0
answers
34
views
Discrepancy between probability measures, tested against bounded functions of bounded variance
When studying some concentration inequalities, it became relevant to consider the following discrepancy between two probability measures $\pi$ and $\nu$ (treating $\sigma \in \left( 0, \frac{1}{2} \...
- 801
1
vote
0
answers
88
views
Schauder estimate for $f \in L^\infty$
I was reading an article where at some point the author uses the following estimate:
Let $u$ be a solution of
$$\Delta u = f \quad \text{in } B_1$$
for $f \in L^\infty$. Then $u \in C^{1,1 - \...
- 452
1
vote
0
answers
248
views
Solving functional analysis problems by using Algebraic geometry
I am thinking about some open problems in nonlinear functional analysis and I just wanted to know if there are any problems that have been solved by using Algebraic geometry techniques in these fields....
1
vote
0
answers
30
views
Generalization of subadditivity analogous to quasiconvexity, and variants
I am curious if there are natural generalizations of subadditivity which have been studied in the past or have been stated in the literature? I (and people that I have talked to) have not had much ...
- 21
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
- 47
1
vote
0
answers
98
views
$(\lambda I-A)^{-1}-(\lambda I-B)^{-1}$ compact implies $\sigma_\text{ess}(A)=\sigma_\text{ess}(B)$
Suppose $H$ is a Hilbert space and $A$, $B$ are two adjoint operators on it (not necessarily bounded), satisfying $D(A)=D(B)$.
Question: If $\exists \lambda\in \rho(A)\cap\rho(B)$ such that $(\lambda ...
- 785
1
vote
0
answers
66
views
The derivative of semigroup in the weak sense imply strong sense
Suppose $X$ is a Banach space, and $T(t)$ $t\ge0$ is a strongly continuous semigroup with generator $A$. Assume $\frac{T(t)-I}{t}x$ weakly converges to $y\in X$ when $t\to 0$, then I need to prove $x\...
- 785
1
vote
0
answers
63
views
Is there any other norms besides cut norm defined on graphon?
Let $\mathcal{W}$ denote the space of all bounded symmetric measurable functions
$W : [0, 1]^2 \rightarrow \mathbb{R}.$ For any $W\in\mathcal{W}$ we say it is a kernel and define its cut norm $\lVert ...
- 359
1
vote
0
answers
105
views
Can a uniform weak null set of $c_0$ be uniformly embedded into a Hilbert space?
Remark that a uniform weak null set $A$ of $c_0$ satisfied that for any $\epsilon>0$ there exists a positive number $N(\epsilon)$ such that for every $f$ in $B(\ell_1)$, the unit ball of the ...
- 11
1
vote
0
answers
63
views
$\operatorname{ker}(q_I \otimes^{\text{min}} q_J) $ is a primal ideal of $\mathcal{A} \otimes^{\text{min}} \mathcal{B}$
In the proof of Theorem $4.1$ of the paper titled continuous bundles of $C^{\ast}$-algebras and tensor products following result is mention with a reference to Proposition $3.3$ of the paper "A. ...
- 1,115
1
vote
0
answers
159
views
Density of Schwartz distributions in the space of distribution
Let $\mathscr S(\mathbf R^3)$ and $\mathscr D(\mathbf R^3 )$ be the space of Schwartz function and test function respectively, $\mathscr S'(\mathbf R^3)$ and $\mathscr D'(\mathbf R^3)$ be their duals....
1
vote
0
answers
178
views
Unitary operators in $\mathcal{U}(L^2(X,\mu))$ not coming from $\operatorname{Aut}(X,\mu)$
$\DeclareMathOperator\Aut{Aut}$Let $(X,\mu)$ be a measured space with probability measure $\mu$ and $\Aut(X,\mu)$ denote the group of measure preserving bijections of $(X,\mu)$. It is easy to see ...
- 105
1
vote
0
answers
50
views
On an Atiyah-Singer-Patodi like construction of the spectral flow
Let $\hat{\mathfrak{F}}$ be the space of selfadjoint Fredholm operators on a separable infinite-dimensional complex Hilbert space $H$, and let $\hat{\mathfrak{F}}_0\subset\hat{\mathfrak{F}}$ consist ...
1
vote
0
answers
205
views
Uniqueness for Volterra equation with initially (linearly) unbounded kernel
Letting $D:=\{(x,y):\ 0\leq x\leq y\leq1 \text{ and } y>0\}$, I have a continuous function $k:D\to[0,\infty)$ that satisfies some properties that I list below. I'm interested in continuous and ...
- 537
1
vote
0
answers
64
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
- 3,799
1
vote
0
answers
59
views
Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?
The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
- 253
1
vote
0
answers
105
views
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$. Schwartz space is dense in $A$ wrt $\|f\|:= \|\hat{f}\|_1+\|\hat{f'}\|_1$?
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$, where $\hat{f}$ is the Fourier transform of $f$. Then is it true that Schwartz space $\mathcal{S}(\mathbb{R})$ is dense in $A$ ...
- 29
1
vote
0
answers
94
views
Multivariate polynomial approximation
Let $f$ be a function on $[-1,1]^d$ with some smoothness property, for example, it is in the Sobolev space $W^{k,p}$.
Let $P_n$ is a space of polynomials with degree $n$. My question is what is the ...
- 61
1
vote
0
answers
64
views
embedding spaces of probability measures to function spaces
Let $X, Y$ be Banach spaces. I'm considering a bounded linear functional $g:X\to Y$ and its lift $g_\sharp: \mathcal{P}(X)\to \mathcal{P}(Y)$.
I want to consider the inverse of $g_\sharp$ in some ...
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
- 434
1
vote
0
answers
53
views
Reference for Density question
Let $ B $ be a reflexive, separable Banach space and $ p \in (1,\infty)$. Then denote by $L^{p}(B)$ the space of all functions $$ f : \mathbb{R}^{n} \to B $$ with
$$
\int_{\mathbb{R}^{n}} \vert f \...
- 31
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
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
1
vote
1
answer
127
views
approximating differentiable functions with double trigonometric polynomials
Let $Q = [0,1]^2$. For sake of notation, let
$$
f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi).
$$
Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if
$$
\|...
- 171
1
vote
0
answers
93
views
Multilinear non-commutative Khintchine inequality
Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix.
Question: Is there a known bound for ...
- 156
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 1,043
1
vote
0
answers
85
views
Maximizing the integral of a transformation that depends on a neighborhood of values of the original function
I'm not an expert in analysis whatsoever, so I might be posing a well-established question, or even an unanswerable one. Also, any suggestion on changes that might make the problem better are welcome.
...
- 11
1
vote
0
answers
43
views
If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?
Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be:
$m(x) \cdot \text{div} ( s(x) \nabla f(x))$.
What ...
- 93
1
vote
0
answers
76
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
- 161
1
vote
0
answers
56
views
Convergence of slice in an equivalent renorming
Let us consider $\ell_2$ space with $\Vert \cdot \Vert_2$ norm. Let us define a new norm equivalent to $\Vert \cdot \Vert_2$ norm as follows:
$$
\Vert x \Vert_0 = \max \{ \Vert x \Vert_2, \sqrt{2} \...
- 85
1
vote
0
answers
94
views
positive invertible maps which are not *-automorphisms
Let $A$ be a unital C*-algebra. Is there a unital positive self-map $F:A\to A$ which is invertible (i.e. injective and surjective) but not a $*$-automorphism? If yes, how does appear its Gelfand-...
- 41
1
vote
0
answers
67
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
- 3,477
1
vote
1
answer
120
views
Characterization of an integral operator with a Bessel kernel
I am considering the following integral operator: $$K(\sigma)(\theta)=\int_0^{2\pi} \sigma(\theta') J_0(|e^{i\theta}-e^{i\theta'}|)\,d\theta',$$ where $J_0$ is the Bessel function of order $0.$
I am ...
- 141
1
vote
0
answers
89
views
Definition of second quantization
The standard textbook for second quantization is Reed & Simon. However, I am a bit confused with their notation. They write:
Let $\mathscr{H}$ be a Hilbert space, $\mathcal{F}(\mathscr{H})$ the ...
- 1,305
1
vote
0
answers
64
views
The operator $D^{p}\colon \mathcal{S}\subset L^{1}(\gamma)\to L^{1}(\gamma)$ is closable for every integer $p =1,2,\dots$
I am reading Nourdin and Peccati’s textbook (Normal Approximations with Malliavin Calculus From Stein’s Method to Universality). My question is about Lemma 1.1.6. Which says
Lemma 1.1.6:
The operator $...
1
vote
0
answers
148
views
Gelfand's representation on matrices: construct maximal ideal in matrix algebra
I would like to see a constructive proof (some algorithm?) of the following statement:
Let $A_1, A_2, \dotsc ,A_k \in M_n(\mathbb C)$ be some commuting matrices, let $B$ be the commutative algebra (...
- 807
1
vote
0
answers
91
views
Parabolic regularity for weak solution with $L^2$ data
I want to study the regularity of weak solutions $u\in C([0,T];L^2(\Omega))\cap H^1((0,T);L^2(\Omega))\cap L^2(0,T;H^1(\Omega))$ of the heat equation with Neumann boundary conditions:
$$\begin{cases}\...
- 1,759
1
vote
0
answers
115
views
Looking for examples of kernels with scalar Pick property but not the complete Pick property
I am studying Pick Interpolation and Hilbert Function Spaces by Agler and McCarthy.
A kernel $k$ on a set $X$ is said to have $M_{s,t}$ Pick property whenever $x_1,x_2, \ldots , x_n \in X$ and $W_1, ...
- 151
1
vote
0
answers
70
views
On calculating the second quantization operator $\Gamma(A)$ of the Ornstein-Uhlenbeck operator $A$
Let $A$ be a self-adjoint operator on a Hilbert space , and let $d\Gamma(A)$ be the generator of the second quantization of $A$. Consider the following theorem from Segal's "Non-Linear Quantum ...
- 90
1
vote
0
answers
83
views
For any $\beta>0$, there is a constant $c>0$ such that $\left\|(1-\Delta)^{\frac{\beta}{2}} f\right\|_{\infty} \leq c\|f\|_{C_b^\beta}$
For any $n \in \mathbb{Z}^{+}$, let $C_b^n\left(\mathbb{R}^d\right)$ be the class of real functions $f$ on $\mathbb{R}^d$ with continuous derivatives $\left\{\nabla^i f\right\}_{0 \leq i \leq n}$ such ...
- 825
1
vote
0
answers
45
views
Characterization of the Picard's condition for integral equation
Picard's condition (Thm. 15.18, Kress et al. 1989) is essential to study the existence of a solution of a Fredholm integral equation of the first kind. Specifically, consider (the univariate case) the ...
- 143
1
vote
0
answers
102
views
If we have $\mu_{xy}$, why can we only construct the spectral measure if $\| \mu_{xy} \| \le \| x \| \|y \|$?
Definitions
Representation
Let $X \subset \mathbb{C}^N$ and $\mathcal{A}$ be an algebra in $\mathcal{C}(X)$. Also, we denote $L(H)$ as the set of all linear operators on HIlbert space $H$.
We call $\...
- 63
1
vote
0
answers
87
views
$f \in L^2(X\times Y,\mu \times K)$ for Kernel $K$, is the map $X \ni x \mapsto (f(x,\cdot),x) \in \bigsqcup_{x \in X}L^2(Y,\Sigma_Y,K_x)$ measurable?
Let $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ be two measurable spaces, let $\mu$ be a measure on $(X,\Sigma_X)$, and let $(K_x)_{x \in X}$ be a transition kernel from $(X,\Sigma_X)$ to $(Y,\Sigma_Y)$, that ...
- 309
1
vote
0
answers
80
views
Weak$^\ast$ closure of a countably complete sublattice of the unit ball of $L^\infty(\Omega, \mu)$
This is a reframing of my previous question from a Banach lattice perspective: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity? The previous question ...
- 2,830