Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,436 questions with no upvoted or accepted answers
1
vote
0
answers
109
views
Is this a positive definite kernel?
Under which conditions on the function :
\begin{array}{l|rcl}
K : & \mathbb R^+ & \longrightarrow & (0, 1)\\
&t & \longmapsto & K(t) \end{array}
is the symmetric ...
1
vote
0
answers
67
views
Comparison of inductive limit topology with very-rapidly decaying non-convex $L^{!/2}$-space topology
This is related to these posts and here.
Let $L^1([n,n+1])$ denote the subspace of $L^p$-functions on $[0,\infty)$ essentially supported on $[-n,n]$. Denote the accelerated $\ell^1$-direct sum ...
- 5,405
1
vote
0
answers
64
views
Bound on number of linearly independent eigenvectors of adjoint of composition operator
Fix $N>1$. Let $f\in C^{\infty}(\mathbb{R},\mathbb{R})$ be such that the composition operator via
$$
\begin{aligned}
C_f:C^{\infty}(\mathbb{R},\mathbb{R}) &\rightarrow C^{\infty}(\mathbb{R},\...
- 5,405
1
vote
0
answers
114
views
Spins in classical statistical mechanics
I'm reading Kupiainen's notes on the renormalization group and also caught my attention. Actually, this is something that often causes my some confusion. On page 43, in the section about Ginzburg-...
- 3,535
1
vote
0
answers
102
views
Given a finite set of points, does there exist a linear function pass through a point and strictly below the other points for all the points?
I guess my question is a follow up question of this one: usul, Existence of a strictly convex function interpolating given gradients and values, version: 2019-04-13.
In usul's question, the answer ...
- 29
1
vote
0
answers
104
views
"Global" topologies between compact convergence and uniform convergence
Let $X$ and $Y$ be locally compact (but not compact), second countable, Hausdorff spaces with $Y$ metric. It is easy to see that the topology of compact convergence is weaker than the topology of ...
- 5,405
1
vote
0
answers
102
views
Commutator estimates for $-(-\Delta)^s$, with $s \in (1,2)$
I'm currently trying to work with the non-local operator given by
$$
(-\Delta)^{\frac{s}{2}}f(x)= c_s\text{P.V} \int_{-\infty}^\infty \frac{-f(x+y)-f(x-y)+2f(x)}{|y|^{1+s}} dy,
$$
where $f :\mathbb ...
- 446
1
vote
0
answers
179
views
Polar decomposition of the Volterra integral operator
Repost of this Math.SE question due to a lack of answers (No one was able to help me find the closed form of $U_T$ and $|T|$ after two bounties). I also searched extensively online but couldn't find ...
- 67
1
vote
0
answers
54
views
Standard definition: vector-valued essential support
Let $f \in L^p(\mathbb{R}^n,\mathbb{R}^m)$. If $m=1$ then the essential support of $f$ is a mainstream definition; see here for example. However, when $m>1$ is the following definition used?
$$
\...
- 5,405
1
vote
0
answers
41
views
Example of periodic semidifferentiable function without absolutely convergent Fourier series
Is there an example of a periodic continuous function that is semidifferentiable (i.e the left derivative and the right derivative exist at each point), but
with a non-absolutely convergent Fourier ...
- 1,035
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
- 375
1
vote
0
answers
46
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
- 371
1
vote
0
answers
95
views
Convergence of a succession obtained by the Gram–Schmidt process
Let $H$ be an Hilbert space over $\mathbb{C}$.
Let $\{h_n\}_{n \in \mathbb{N}} \subset H$ be a sequence of linearly independent vectors in $H$ such that $h_n \to h \neq 0$ in norm topology.
We apply ...
- 433
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
- 1,461
1
vote
0
answers
78
views
Very weak solution to parabolic PDE (pointwise a.e. in time with time derivative on test function)
Consider the parabolic PDE
$$u' + Au = 0$$
as an equality in $L^2(0,T;V^*)$ for some Hilbert space $V$ with $A\colon L^2(0,T;V) \to L^2(0,T;V^*)$ a coercive, bounded linear operator. Here $u'$ is the ...
- 107
1
vote
0
answers
448
views
Smallest eigenvalue for large kernel matrix
I am interested in the the asymptotics of the minimum eigenvalue $\lambda_n^n$ of a class of kernel matrix $P = [ K(x_i - x_j) ]_{i,j}$, with $x_i$ equally spaced in the unit cube of $\mathbb{R}^d$.
...
- 151
1
vote
0
answers
85
views
A question on the Dieudonné property
Recall that a Banach space $X$ is said to have the Dieudonné property if for every Banach space $Y$, an operator $T:X\rightarrow Y$ that transforms weakly Cauchy sequences into weakly convergent ...
- 3,343
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
1
vote
0
answers
136
views
Topology on function spaces for pointwise convergence
Suppose I have some collection of maps $T_\lambda: C^\infty(\Omega)\rightarrow C^\infty(\Omega)$ which are linear and parameterized by a parameter $\lambda >0$. (Perhaps more generally take $C^\...
- 11
1
vote
0
answers
1k
views
Dunford-Pettis theorem
Let $\mathcal{F}$ be a bounded set in $L^{1}(\Omega)$. Then $\mathcal{F}$ has compact closure in the weak topology $\sigma(L^{1},L^{\infty})$ if and only if $\mathcal{F}$ is equi-integrable, that is,
\...
- 43
1
vote
0
answers
334
views
Strong data-processing inequality ? Upper bound on a certain modified total-variation metric
Let $\mathcal X=(\mathcal X,d)$ be a Polish space equipped with the Borel sigma-algebra. Let $p\ge 1$ and $P_1,P_2$ be probability distributions on $\mathcal X$ such that $\max_{k=1,2}\int d(x,x_0)^...
- 6,853
1
vote
0
answers
60
views
A determinantal mixture of probability densities
I came up with this operation after playing with determinantal point processes:
Given two probability densities $f,g$ defined on some measurable space with reference measure $\mu$, set
$$
f\star g(x)...
- 2,135
1
vote
0
answers
27
views
Approximation of multipliers by multipliers of a smaller set 2
This question is a refinement of my previous question.
Let $X$ be a compact metric space, and let $B$ be a bounded Banach Disk in $C(X)$ such that for every $x\in X$ there is $f\in B$ with $f(x)\ne 0$...
- 5,529
1
vote
0
answers
27
views
How does the principal value affects to the limit here?
In Córdoba and Gancedo - Contour dynamics of incompressible 3-D fluids in a porous medium with different densities (page 4) I read that if
$$ v (x_1,x_2,x_3,t)=-\frac{\rho_2-\rho_1}{4\pi} \...
- 383
1
vote
0
answers
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
1
vote
1
answer
703
views
Reciprocal expansion of modified Bessel function
I am reading Sherstyukov and Sumin - Reciprocal expansion of modified Bessel function in simple fractions and obtaining general summation relationships containing its zeros. The authors say they are ...
- 111
1
vote
0
answers
88
views
Explanation for the energy method used here
I am reading a paper where the authors prove
$$ \frac{d}{dt} \Vert f \Vert_{H^4} (t)\leq C\Vert f \Vert^5_{H^4}(t) $$
Where $f=f(x,t)$ and $H^4$ stands for the usual Sobolev space. Using Gronwall's ...
- 383
1
vote
0
answers
89
views
Do we have $M\hat{\otimes}_A N\cong M\otimes_A N$ if $M$ is a finitely generated projective $A$-module over a nuclear Frechet algebra $A$?
Let $A$ be a nuclear Frechet algebra with unit. Let $M$ be a right Frechet $A$-module and $N$ be a left Frechet $A$-module. Both $M$ and $N$ are assumed to be non-degenerate. We can define the ...
- 9,019
1
vote
0
answers
303
views
Continuity of the Legendre transform of a Lipschitz function
Let $p > 1$, $f$ defined on $L^p(\mathbb{R}^n,\mathbb{R})$, locally Lipschitz and concave, with $f(x) = 0$ when $x \geq 0$ a.e. We define, with $q$ dual to $p$, for any $y\in L^q$ , $g(y) := \sup_{...
- 31
1
vote
0
answers
53
views
A different kind of weighted Hardy space
Let $\mathbb{D}$ denote the open unit disk in $\mathbb{C}$, let $\mathcal{A}\left(\mathbb{D}\right)$ denote the vector space of all complex-valued functions which are holomorphic on $\mathbb{D}$, and ...
- 1,284
1
vote
0
answers
79
views
Minimization of a smooth integral functional over a closed convex set
Let $(E,\mathcal E,\mu)$ be a probability space, $I$ be a finite nonempty set, $\gamma:(E\times I)^2\to[0,\infty)$ be measurable, $$F_1(g,w):=\sum_{i\in I}\int\mu({\rm d}x)w_i(x)g(x)\sum_{j\in I}\int\...
- 167
1
vote
0
answers
166
views
Solution to Heat Equation By Projection
Let $X\subseteq C(\mathbb{R}\times [0,\infty))$ be the collection of all solutions to the IV heat equation
$$
\partial_t u(t,x) = \partial^2 u(t,x) \qquad u(0,x)=p(0,x),
$$
for some fixed $p\in C^2(\...
- 5,405
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
- 11
1
vote
0
answers
108
views
Weak convergence to a Gaussian measure in coarser topology induced by a covariance operator
I'm currently studying Gaussian measures on Hilbert spaces and would like to find conditions under which convergence to a Gaussian measure with respect to a coarser topology induced by a covariance ...
- 617
1
vote
0
answers
80
views
One dimensional periodic travelling waves to some pde
Travelling wave equation on one dimension to Gross Pitaeavkii equation is $$ \phi '' +ic\phi'+\phi (1-|\phi|^2)=0\qquad (1) $$ where $c\in (0,\sqrt{2})$ and $ \phi$ is a complex valued function. I am ...
- 383
1
vote
0
answers
110
views
Trace and second-order inverse trace on space with Gibbs measure
Consider $(t, x)\in [0,T]\times (\mathbb{R}^d,d\mu)$, where the measure $d\mu(x)=K^{-1}\exp(-U(x))dx$ is a reasonable Gibbs measure (it satisfies a Poincaré or log-Sobolev inequality. One can, for ...
- 73
1
vote
0
answers
108
views
Extension of a compactly supported pseudo-differential operator
Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ and $P \in \Psi^{m}(\Omega)$ a compactly supported pseudo-differential operator, that is, the kernel of $P$, is compact. Is it true that $P$ extends ...
- 509
1
vote
0
answers
86
views
Uniform continuity of sequence of semigroups
Let $T(t)$, $t\in [0,\tau]$, be a $C_0$ semigroup on an Banach space $X$. Also, let $T_n(t)$ be a sequence of semigroups that satisfies for all $x\in X$
$$\lim_{n\to \infty}\sup_{t\in [0,\tau]}\|T_n(...
- 395
1
vote
0
answers
116
views
Banach space isometric to its dual
Let $X$ be a real or complex Banach space linearly isometric to its Banach dual $X^\star$. Is it true that $X$ is reflexive?
1
vote
0
answers
239
views
Little help showing strong convergence in $H^1$
Let $u_n $ be a sequence in $H^1 (\Omega,\mathbb{C})$ where $\Omega \subset \mathbb{R} ^N$ is bounded. Assume that we know that all the functions $u_n$ are smooth and $\Vert u_n \Vert _{C^m} \leq K(m,...
- 383
1
vote
0
answers
109
views
Algebra structure on Haagerup tensor product of operator spaces
Let $A$ and $B$ be operator spaces. Is there any algebra structure on Haagerup tensor product of operator spaces such that the Haagerup tensor product becomes Banach Algebra?
Any references or ideas?
- 1,115
1
vote
0
answers
122
views
Connection between traces in Cameron-Martin spaces of two Gaussian measures
Let $\mu$ and $\nu$ be two Gaussian measures defined on a common separable Banach space $B$. Denote their two Cameron-Martin spaces by $H(\mu)$ and $H(\nu)$, respectively.
Let $T: B \to B^{\ast}$ be a ...
- 105
1
vote
0
answers
99
views
Minimize $\langle(1-\kappa)^{-1}f,f\rangle$ for a parameter-dependent integral operator $\kappa$
I've got a contractive self-adjoint linear integral operator $\kappa$ of the form $$(\kappa g)(x):=g(x)+\int\lambda({\rm d}y)k(x,y)(g(y)-g(x))\;\;\;\text{for }g\in L^2(\mu),$$ where $k$ depends on the ...
- 167
1
vote
0
answers
126
views
Almost every where divergent Fourier series
Does there exist any continuous function $f:[\pi,\pi]\to \mathbb{C}$ whose Fourier series $\sum \hat{f}(n)e^{int}$ is almost every where divergent?
- 4,058
1
vote
0
answers
84
views
A Hölder version of the Johnson-Lindenstrauss Lemma on essentially bounded functions
Does there exist a Hölder (not necessarily linear) projection from $L^{\infty}(\mathbb{R}^d)$ to any finite-dimensional linear subspace? This is known when $L^{\infty}(\mathbb{R}^d)$ is replaced by a ...
- 5,405
1
vote
0
answers
159
views
Existence of continuous integral kernel
Let $(X_i,\mathcal{F}_i,\mu_i)$, $i\in \{1,2\}$, be a $\sigma$-finite measure space and $E_i$ an ideal of measurable functions on $X_i$ with full carrier (for example $E_i=L^p(X_i,\mu_i)$).
A ...
- 31
1
vote
0
answers
167
views
Gradient formula for Clarke's generalized gradient on a general Banach space
In Theorem 10.27 of the book Functional Analysis, Calculus of Variations and Optimal Control, there is the following gradient formula:
($\operatorname{co}$ deotes the convex hull).
Is there an ...
- 167
1
vote
0
answers
80
views
Measurability of a generalized point spectrum
Assume that $ T:H\oplus H\rightarrow H\oplus H$ is a unitary linear operator on the double sum of a separable Hilbert space $H$ with itself.
Let us call a pair $(\lambda, \mu)\in\mathbb{C}\oplus\...
- 728
1
vote
0
answers
72
views
Finding the solutions of the inequality $\|xb-a\|<1$
Let $H$ be a Hilbert space and consider bounded operators $a$ and $b$ on $H$.
For given operators $a$ and $b$, I am looking a way to get all solutions (bdd operators $x$) of the inequality $\|xb-a\|...
- 4,058
1
vote
0
answers
163
views
orthonormal basis of ${H^2} \cap H_0^1$
we consider the following eigenvalue problem for the Laplacian
$$ - \Delta w\left( x \right) = \lambda w\left( x \right),\,x \in \left( {0,1} \right),\,w\left( 0 \right) = w\left( 1 \right) = 0.$$
By ...
- 183