All Questions
3,508 questions with no upvoted or accepted answers
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
39
views
Confusion in notation of representation of Bastiani derivative
In the paper "Properties of field functionals and characterization of local functionals" at page 5 the Authors give the following definitions
Definition II.2. Let $U$ be an open subset of a ...
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
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 521
0
votes
0
answers
104
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
- 6,853
0
votes
0
answers
174
views
Lipschitz map on positive definite cone of $n$-by-$n$ matrices
A function matrix $f : X \to \mathbb R$ is a convex Lipschitz continuous matrix function with Lipschitz constant $\mathrm L$ with respect to a fixed given norm $\|\cdot\|$, i.e., $|f(A)-f(B)| \leq \...
- 91
0
votes
0
answers
99
views
Predual of $H^{\infty}(\mathbb{D})$
Is the predual of $H^{\infty}(\mathbb{D})$ contained in the maximal ideal space of $H^{\infty}(\mathbb{D})$?
- 149
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
0
answers
75
views
$|\partial $ as Fourier multiplier
I have the following nonlinear dispersive PDEs
$$i \partial_t u- \partial_x^2 u =|\partial_x| |u|^2$$
where $f$ is some nice complex-valued function.
I am trying to use the ansatz $u(t,x) = e^{i \...
- 159
0
votes
0
answers
62
views
To find a DFT for complex functions on a semigroup
For a certain commutative semigroup of integer size $n$, $G=(\{1,2,\dots,n\},\circ: x\circ y\mapsto \min(n,x+y))$, consider all complex functions on it, denoted by $\mathbb C[G]$ or $\mathbb CG$. ...
0
votes
0
answers
72
views
Fourier coefficient of close functions
Let $p$ be some prime. Let $\mathbb{Z}_p$ be the cyclic group of order $p$. Let $f, g \colon \mathbb{Z}_p \to \{\pm 1\}$ be two functions. Recall that the Fourier transform is defined as
$$ f(x) = \...
- 1
0
votes
0
answers
303
views
Is Baire's theorem stronger than needed for functional analysis?
Many classic theorems in functional analysis involve using Baire's theorem to prove facts about topology that relate to maps between Banach spaces (or, more generally, F-spaces). The application ...
- 109
0
votes
0
answers
182
views
Comparison of orthogonal complements in L^2 and H^1 spaces
Let $\Omega$ be a bounded domain with smooth boundary, and let $L^2(\Omega)$ and $H^1(\Omega)$ the usual $L^2$ and $H^1$ function spaces on $\Omega$, respectively. We call $\phi \in H^1(\Omega)$, and $...
- 11
0
votes
0
answers
103
views
How should I understand the completeness relation of the form $\sum_{n} \phi_n(x) \overline{\phi_n}(y)=\delta(x-y)$?
Let $A$ be an unbounded self-adjoint operator on $L^2(\mathbb{R})$ and we are assuming the $L^2$ functions to be complex-valued.
We further assume (e.g. compactness of resolvent) that there exists an ...
- 3,477
0
votes
0
answers
190
views
Reference request for the dual space of the Bochner Space $L^1(\Omega ; X) $
Let $\Omega\subset\mathbb{R}^N$ be open and let $X$ be a Banach Space. Let $L^1(\Omega ; X)$ denote the space of all strongly measurable (sometimes also referred to as Bochner Measurable) functions, $...
- 1
0
votes
0
answers
98
views
Reference request: subspace-based generalisation of weak* convergence
Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
- 463
0
votes
0
answers
66
views
Reference request: Integrability condition on measures
Let $(\mathcal{C}, \|\cdot\|)$ be a (non-locally compact) Banach space with Borel $\sigma$-algebra $\mathcal{B}$.
Given a probability measure $\mu : \mathcal{B}\rightarrow[0,1]$, I'm interested in ...
- 463
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
79
views
Reverse Hölder for possibly singular matrix weights
I'm working on some nonlinear partial differential equations and I have been led to the following puzzle. Let $W(x)$ be a symmetric positive semidefinite-valued function of $x \in \mathbb{R}^d$ (a &...
- 981
0
votes
0
answers
238
views
On the spectrum of a compact pertubation of a skew-adjoint operator
Let $A\colon \text{dom}(A)\subset H \to H$ ($H$ is a Hilbert space) be a skew-adjoint (i.e. $A^{*}=-A$), closed and densely defined operator. Then the essential spectrum is the set of spectral values $...
- 173
0
votes
0
answers
150
views
Prove or disprove the compactness of an operator
Consider $X=L^{2}(0,\pi, \mathbb{R})$.
Let $X_{\frac{1}{2}}$ be the domain of $(\Delta)^\frac{1}{2}$ where $\Delta$ is the laplacien operator.
We define the operator $K:C([0,a],X_{\frac{1}{2}})\...
- 39
0
votes
0
answers
36
views
Regarding significance of spectral variation under algebraic operations
I have been reading the paper Determining elements in $C^∗$-algebras through spectral properties.
The paper discusses about what would be the relation be between two elements $a$ and $b$ of a Banach ...
- 27
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
59
views
Identification of vector valued function
Do you know of a good reference for a proof of the fact that $L^2(0,T,L^2(\Omega))$ and to $L^2([0,T]\times \Omega)$ can be identified?
- 235
0
votes
0
answers
89
views
Cousin of Fourier transform for rescaling and translating functions
Is there a cousin of the Fourier transform which obeys the following property: if I rescale and translate a function, then its transformed form, at each frequency, only depends on the original ...
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
- 159
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
0
votes
0
answers
225
views
Evaluate the projection operator norm with respect to maximum norm
Consider the normed space $\left(\mathbb{R}^{3},\|\cdot\|\right)$ where $\|\cdot\|=|\cdot|_{\infty}$ is the usual maximum norm. Consider the 2 -dimensional vector subspace $\left \{ (x,y,z):x+y+z=0 \...
- 111
0
votes
0
answers
129
views
Dirac operator on 4-dimensional rectangle with the periodic boundary conditions is self-adjoint? What is its spectrum?
Let us think of the Euclidean Dirac operator $iD^k \gamma_k$ on the rectangle $[-1,1]^4$ with the periodic boundary conditions.
The covariant derivative $iD^k$ carries a gauge potential term and we ...
- 3,477
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
- 449
0
votes
0
answers
241
views
Can a non-reflexive space embed into a reflexive space?
My question is inspired from the concept of super-reflexivity which was defined by James here: https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/superreflexive-banach-...
- 11
0
votes
0
answers
57
views
Existence of measure-preserving Lagrange flow for inhomogeneous transport equation
I asked this question on stackexchange:
Let us consider the Cauchy problem for the transport equation
$$ \partial_t \varphi + b\cdot \nabla \varphi= f \text{ in } (0,T)\times\mathbb{R}^3,\\ \varphi(0,...
- 173
0
votes
0
answers
122
views
Sharp, salient and opposite cones
I have been reading about star shaped sets and support cones from this article.
Can anyone please help me with examples the difference between a sharp and dull cone.
How come a salient cone has a ...
- 27
0
votes
0
answers
203
views
Regarding definition of convex cone and apex
I have been reading about star shaped sets and support cones from this article. I am wondering about the definition of the cone as to why is it defined this way? Why is it $C-a$? I am familiar with ...
- 27