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
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 3,477
0
votes
0
answers
77
views
Property (H) in the dual norm
Consider the Hilbert space $l_2$ with an equivalent norm
$$\Vert x \Vert = \max \{2 \Vert x \Vert_1, \Vert x \Vert_2 \},$$
where $\Vert x \Vert_1 =( \sum_{n=2}^\infty x_n^2 )^{\frac{1}{2}}$ and $\Vert ...
- 85
0
votes
0
answers
52
views
Coupled Kazdan-Warner type equation
Famous work of Kazdan and Warner shows that given $u\geq 0$ and a constant $c>0,$ the following equation in $f$ has a unique solution:
\begin{align*}
\Delta f+ u e^f=c
\end{align*}
I am interested ...
- 954
0
votes
0
answers
138
views
Under what conditions is $\lim_{x\to a}\left|\varphi\circ f(x)-\tau \circ g(x)\right|=0$ true?
This question is inspired from another much easier problem I was trying to solve which I tried to generalize. The question is essentially as follows (assuming all the limits exist)
If $a\in \mathbb R\...
- 791
0
votes
0
answers
355
views
On a Duality between Riemann-weil explicit formula and Abel- Plana summation of trigonometric prime counting function:
Consider the analytic function $g(x)$
Now define
$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$
Such that
$|f(x+it)|=o(e^{2πt})$
uniformly for every $x$...
- 790
0
votes
0
answers
415
views
Spectral theorem for commuting operators
Let $A_{1},...,A_{n}$ be densely defined self-adjoint operators on a separable Hilbert space $\mathscr{H}$. Suppose these have a common dense domain $D\subset \mathscr{H}$ and satisfy commutation ...
- 3,515
0
votes
0
answers
132
views
Compact embedding of $H^1(0,+\infty)$
Is the following embedding compact ?
$$H^1(0,+\infty) \rightarrow L^p(0,+\infty), \text{ with } p>1 $$
- 29
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
0
votes
0
answers
208
views
Examples of non $w^{*}$-closed complemented subspaces of a dual Banach space that are also dual spaces
Let $Y$ be a complemented, but not $w^{*}$-closed, subspace of a Banach space $X$. It is known that certain such $Y$ are not dual spaces.
Question: What are interesting examples of subspaces of the ...
- 7,067
0
votes
0
answers
63
views
Inequality for normed power n, m
Let $ B (H) $ indicate the set of all bounded linear operators on a complex separable Hilbert space $ H $.
Let $ A \in B(H) $, where $ A $ is a positive semi-definite operator in $ H $ (i.e. $ \langle ...
0
votes
0
answers
74
views
Computing the eigenvalues of $A+E$ where $A$ is an upper triangular matrix whose diagonal entries are all zero and $E$ is a rank one matrix
Let us consider the backward-shift matrix $B=(b_{ij})\in M_n(\mathbb{R})$ whose entries are given by $b_{k,k+1}=1$ and the other entries are all 0. We also consider $X=(x_{ij})\in M_n(\mathbb{R})$ ...
- 4,058
0
votes
0
answers
307
views
Generalizations of the generalized Stokes theorem and the Atiyah-Singer index theorem
I am interested in the generalized Stokes theorem and its various generalizations. It is apparent to me that many theorems in vector analysis and certain theorems in complex analysis can be viewed as ...
- 131
0
votes
0
answers
114
views
Norm distance in a Banach space
Consider the Hilbert space $l_2(\mathbb{N})$ under the square summable norm $\Vert \cdot \Vert_2.$ Let us define a new norm $||| \cdot ||| $ equivalent to $\Vert \cdot \Vert_2$ such that the closed ...
- 85
0
votes
0
answers
119
views
Weak convergence in $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$ space
Let $\Omega \subset \mathbb { R } ^ n $be a bounded domain, and suppose that in the space $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$, the sequence $\{ u_j \} $ converges weakly in $W^{ 1,q}(\Omega)...
- 471
0
votes
0
answers
145
views
Convergence of Solutions of Integral Equations with Weakly Converging Forcing Terms
Let $\Omega$ be a bounded interval of $\mathbb{R}$ and let $y\in L^\infty(\Omega \times (0,T))$ be a mild solution of the integral equation
$$
y(\cdot,t)=S(t) y_0+\int_0^t S(t-s) \left[u(\cdot,s)y(...
- 55
0
votes
0
answers
78
views
Sobolev trace inequality with exterior domains
Let $x_1\in \mathbb{R}^n$, $n\geq 3$, $\Omega=\mathbb{R}^n\backslash B_1(x_1)$, define $D_{\Omega}$ by taking the closure of $C_{c}^{\infty}(\overline{\Omega})$ under the norm
\begin{align*}
\|u\|_{D_{...
- 471
0
votes
0
answers
113
views
Solving $\frac{\partial}{\partial t}f = h f + h \int h f$
Is there a closed form solution to the following differential equation?
$$\frac{\partial}{\partial t}f(i, t) = a h(i) f(i, t) + b h(i) \int \mathrm{d}i\ h(i) f(i, t)$$
Where $h(i)=C (i+1)^{-p}$ with $...
- 2,252
0
votes
0
answers
141
views
Does there exists a smooth reflexive infinite dimensional Banach space that is not strictly convex
It is known that in a reflexive Banach space, if the norm is strictly convex, then its dual will be smooth Banach space, and if the norm is smooth, then the dual norm is strictly convex.
We can find ...
- 85
0
votes
0
answers
146
views
Linear dynamics in a function space
I posted the same question to Math Stackexchange earlier without much luck, so I am posting here.
I am dealing with a time-dependent model, which can be expressed as a function. $f$ is dependent on ...
- 433
0
votes
0
answers
175
views
Does l2 projection of sequences preserve l1 norm convergence?
Let $\ell^2$ denote the set of square summable sequences with inner product $\langle x,y\rangle=\sum_{i=1}^{n}x(i)y(i)$ and $\ell^2$ norm $\|x\|_2=\sqrt{\langle x,x\rangle}$. Let $\|x\|_1=\sum_{i=1}^{\...
- 45
0
votes
0
answers
145
views
A possible generalization of Pitt's theorem
Inspired by Pitt's theorem and this post we ask the following question:
First we remind the Pitt's theorem and also introduce a particular Banach space as averaging of $\ell^p$ spaces for $1\leq p ...
- 356
0
votes
0
answers
241
views
About the proof of Lebesgue decomposition theorem for Hilbert spaces
Let $\mu$ be a Borel measure on $\mathbb{R}$. By the Lebesgue decomposition theorem, there exists measures $\mu_\text{pp}$, $\mu_\text{ac}$ and $\mu_\text{sing}$ such that $\mu = \mu_\text{pp}+\mu_\...
- 1,305
0
votes
0
answers
213
views
Convergence of inverse operator with projections
Let $X$ be a separable Hilbert space, and let $(e_i)_{i=1}^\infty$ be an orthonormal basis of $X$. For each $n\in \mathbb{N}$, let $X_n$ be the subspace spanned by $(e_i)_{i=1}^n$, and consider the ...
- 503
0
votes
0
answers
127
views
Closure of BV paths in space of paths of finite $p$-variation
Let $p\ge1$ and $T>0$. Define $\mathscr D([0,T])$to be the space of partitions of $[0,T]$, where each partition is a finite collection of distinct points of $[0,T]$. Consider a continuous path $X:[...
- 177
0
votes
0
answers
78
views
Different measurability of Hilbert-space valued random variable
My question is motivated by this link.
Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable.
Now let $H$ be a ...
- 503
0
votes
0
answers
124
views
Eigenvectors of the symmetric tridiagonal matrices whose entries above the diagonal are all the same
Let us consider the real symmetric tridiagonal matrix $T=(t_{kl})$ in $M_n(\mathbb{R})$ with
$$t_{1,2}=t_{2,3}=\cdots=t_{n-1,n}=1$$
How can we compute the eigenvectors of $T$?
- 4,058
0
votes
0
answers
92
views
Proof of the isomorphism of the Toeplitz algebra and the algebra generated by the element and the relation
Please tell me where can I see the proof of this well-known fact?
enter image description here
0
votes
0
answers
70
views
Follow-up question regarding real singular matrices with additional details
After my question whose answer turned out to be false, I re-examined the course of my proof, which is actually seperate from the one in my question, and found out that there's another condition, at ...
- 286
0
votes
0
answers
141
views
Support function of the intersection of a hyper-ellipsoid and a Euclidean ball
Le $\lambda_1 \ge \lambda_2 \ge \ldots \ge \lambda_d$ be positive numbers. For any $x \in \mathbb R^d$ and $r \ge 0$, define $\gamma(x,r) := \sup_{z \in E(r)}x^\top z$, where
$$
E(r) := E \cap B_2^d(r)...
- 6,853
0
votes
0
answers
143
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
0
votes
0
answers
62
views
Proving the uniqueness of the solution to a functional equation involving integral
Consider the functional equation
$$
g\left(a\right) = \int_0^1 \frac{e^{c(a,h)+f(h)}}{1+e^{c(a,h)+f(h)}}dh
$$
and this holds for all $a$. $g(a)$ and $c(a,h)$ are known functions on a continuous ...
0
votes
0
answers
168
views
Completely continuous maps from projective tensor products into $c_0$
Let $E$, $F$ be two Banach spaces and $E\mathbin{\hat{\otimes}}_{\pi}F$ denote their projective tensor product.
For each unit norm $\xi\in E$ and $\gamma\in F$, let's define
$$
J_{\gamma}:E\to E\...
- 2,605
0
votes
0
answers
128
views
When is the image of $T \colon \ell^2 \to \ell^2$ a Gaussian random variable?
In finite dimensions, if $T$ is a linear operator and $x$ is a (centered) Gaussian random variable, then $Tx$ is again a (centered) Gaussian random variable.
Now suppose that $x$ is a (say, centered) ...
- 420
0
votes
0
answers
66
views
Two questions about the vector-valued Lipschitz algebra
For a commutative Banach algebra $A$ and for any $0<\alpha<1$, let $\text{Lip}_\alpha(K,A)$ consist of all $A$-valued functions $f$ on a metric space $(K,\text d)$ with the property that $\rho_\...
- 2,118
0
votes
0
answers
92
views
Finding set of best approximations from a point in $c_0$ to its subspace
Given $X$=$c_0$, null sequence space with sup norm. Consider a subspace $Y$ of $c_0$ consisting of elements of $c_0$ as, $Y=\{x\in c_0 : x_{2i}=i.x_{2i-1}, i \geq 1\}$. I need to find the set of best ...
- 85
0
votes
0
answers
273
views
Finding the eigenvectors of a submatrix
Let $A=(a_{kl})$ be a matrix in $M_n(\mathbb{R})$ when $n$ is even. Let $B=(b_{kl})$ be the symmetric $2n$ by $2n$ matrix whose entries are given by,
$b_{k,l}=a_{kl}$ if $1\leq k,l\leq n$.
$b_{n+k,l}=...
- 4,058
0
votes
0
answers
105
views
Is identity map on the space of smooth maps smooth?
I'm curious about the identity map on the space of all smooth maps (between two locally convex topological vector spaces in the sense of convenient calculi) when we equip the space with different ...
- 143
0
votes
0
answers
111
views
Characterization of the adjoint of a $C_0$-Semigoup infinitesimal generator
I am looking for characterizations of the adjoint operator of the infinitesimal generator of a $C_0$-semigoup in Hilbert spaces. All I could find in the literature is that if $(A, D(A))$ is the ...
- 101
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
220
views
Eigenvalue multiplicity of tensor product of positive operator with itself
Let $H$ be a separable complex Hilbert space and let $A\in B(H)$ be positive with $||A||=1$ and have eigenvalue 1 with multiplicity 1. Suppose $A=T^*T$ for some $T\in B(H)$. Denote the spectrum of $A$ ...
- 203
0
votes
0
answers
103
views
Extension for fractional Sobolev spaces, s>0
In their paper, Fractional Sobolev extension and imbedding, the author describes all extension domains for $s \in (0,1)$ -- meaning spaces functions in which are not required to have weak derivatives. ...
- 93
0
votes
0
answers
65
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
- 825
0
votes
0
answers
55
views
Weyl's law for hyperbolic operators
Let $\Omega \subset \mathbb{R}^n$ be a smooth, bounded domain and consider the operator $T: L^2([0,1]\times\Omega) \to L^2([0,1]\times\Omega)$ so that $Tf = v$ if
$$
\begin{cases}
\frac{d}{dt}v - \...
0
votes
0
answers
246
views
Finding a unitary operator on L^{2}(\mathbb{R}^{2},dxdy)
I have a one parameter (r) family of self-adjoint representations of the universal enveloping algebra of some nilpotent Lie group on $L^{2}(\mathbb{R}^{2},dxdy)$ as follows:
$$\hat{X}^{r}=\hat{x}-i(r-...
- 103
0
votes
0
answers
144
views
Type III von Neumann algebra
Let $\mathcal M$ be a type $\mathrm{III}$ von Neumann algebra. Is it true that for all $n\geq 1,$ $\mathcal M$ contains a copy of $M_n$ as a von Neumann subalgebra? By Theorem 9.24 of these lecture ...
- 1,879
0
votes
0
answers
251
views
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?
Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$.
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
- 521
0
votes
0
answers
57
views
The inversion of the Laplacian transform Pazy's Book "semigroups of linear operators and applications to Partial differential equations"
This question has been posted on Math Stack Exchange but no reply, and so I have to put it here. My question is:
In Pazy's Book page 26, the author gives a proof of Lemma 7.1, the lemma 7.1 says that: ...
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 ...
0
votes
0
answers
152
views
Concentration compactness lemma and the best Sobolev constant
It is well known that the best Sobolev constant can be achieved on $\mathbf{R}^n$. More precisely, we have the following theorem (A):
Let $\frac{1}{q}=\frac{1}{2}-\frac{1}{n}$, $$S=\inf\limits_{{u\in ...
- 705