Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

2
votes
1answer
29 views

Is the module action $M\times M^*\to M^*$ jointly continuous?

Let $M$ be a W*-algebra and consider the following map: $$\gamma: M\times M^*\to M^*: (a,f)\to af$$ where $af(b)=f(ba)$. Let us consider $M$ under the weak topology $\sigma(M,M^*)$ and $M^*$ under ...
0
votes
1answer
78 views

Normed space between $H^{0+}$ and $L^2$

In the space $\in L^2(\mathbb{R}^3)$, consider the following condition. $$\int_{\mathbb{R}^3}\frac{|\widehat{f}(x)|}{1+|x|^{3/2}}dx<+\infty\qquad\mbox{(*)}$$ Of course if $f\in H^s(\mathbb{R}^3)$ ...
0
votes
0answers
60 views

Matrix inequality between a traceless matrix and identity

Given a traceless matrix $C\in M_n(\mathbb{F})$, i.e., tr$(C)=0$, what is the relationship between tr$|\mathbb{I}+C|$ and tr$|C|$? The two matrices are of dimension $n$.
2
votes
0answers
50 views

Invertibility of group Laplacian in $\ell^1$

Let $G$ be a discrete group and let $S$ be a generating set for $G$; assume that $S$ is symmetric (i.e., $g\in S$ iff $g^{-1}\in S$). Let $L=L_S=\frac{1}{|S|}(\sum_{g\in S} g-1)$ be an element of the ...
2
votes
0answers
79 views

To determine if a 2 variable symmetric function is addition formula of one variable function or not?

Since $$f(x+y)=f(y+x)$$, So an addition formula must be symmetric. $$f(x+y)=U(f(x),f(y))=U(f(y),f(x))$$ $$f(f^{-1}(x)+f^{-1}(y))=U(x,y)=U(y,x)$$ An example: $$f(x+y)=f(x)f(y)(f(x)+f(y))$$ ...
1
vote
0answers
45 views

Can a semigroup be defined on a Banach algebra? [on hold]

I simply need to know that how a semigroup of operators (say $\{T(t)\}_{t\geq 0}$) is defined on any Banach algebra (say $X$)? For $(f,g\in X)$ now the so called product is also there i.e. $f.g\in X$. ...
1
vote
1answer
94 views

The space of loops as a Banach space [on hold]

Let $S$ be the space of all loops in $\mathbb{R}^2$, i.e. all continuous mappings $\gamma:[0,1]\to \mathbb{R}^2$ such that $\gamma(0)=\gamma(1)$. Is there any canonical interpretation of $S$ as a ...
1
vote
1answer
67 views

p-summable sequence

Let Y be a closed linear subspace of X and suppose that Y does not have copy of l1 .Does each weakly p-summable sequence in X/Y has a subsequence that's the image of a weakly p-summable sequence in X ...
-1
votes
0answers
27 views

Total measure and Riesz theorem [migrated]

As I specified in the other question I asked, analysis is not my field, so I'm sorry if my question is trivial. Riesz representation theorem states the following: Given $X$ a locally compact ...
1
vote
0answers
60 views

Weak convergence in $L^2(0,T;X)$

In the book Navier Stokes Equations by Constantin and Foias, the folloiwng argument is made: Let $u_m$ converges weakly to $u$ in $L^2(0,T;V)$ where $$ V=\overline{\{f\in ...
1
vote
0answers
61 views

Does bounded and closed equal compact for sets of Borel probability measures?

Equip the space of Borel probability measures on a fixed closed subset X of the s-dimensional Euclidean space with the topology induced by weak convergence of probability measures. In this setting, ...
2
votes
1answer
120 views

reference request: simple facts about vector-valued $L^p$ spaces [on hold]

I learned basic results (regarding weak convergence) about Banach-space valued functions of a single real variable when learning PDE. (See e.g. Appendix E in Evans's Partial Differential Equations) I ...
0
votes
0answers
48 views

Some problems about symmetric convolution semigroup on the unit circle

These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes". Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
2
votes
1answer
82 views

The inverse of Laplacian operator for different orders

I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you! Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open ...
8
votes
3answers
275 views

Description of $\big(\ell^\infty(\mathbb N)\big)^{\!*}$ via ultrafilters

Let $\beta\mathbb N$ is the set of ultrafilters on $\mathbb N$ and $\mathscr F\in\beta\mathbb N$. Assume that $l_{\mathscr F}\in\big(\ell^\infty(\mathbb N)\big)^{\!*}$ is the functional which assigns ...
1
vote
1answer
102 views

When is a homogeneous polynomial an inner function on the unit torus?

What is the necessary and sufficient condition(s) for a homogeneous polynomial on torus(bidisk) to be an inner function? More precisely I want to know when absolute value of a homogeneous polynomial ...
2
votes
0answers
63 views

Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$, $\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$ where the scalar complex function ...
4
votes
2answers
179 views

Heat kernel asymptotics for small distances

I heard a talk where the speaker said that on a Riemannian manifold, for small values of $\text{dist }(x, y)$, the heat kernel $p_t(x, y)$ satisfies $$p_t(x, y) = \frac{1}{(4\pi ...
-4
votes
0answers
51 views

Fourier transform of $|x|^{-\alpha}$ [closed]

Let $k(x)=|x|^{-\alpha}$ ,$x\in\mathbb{R}^d, \,0<\alpha<d $. Why the Fourier transforms of $k$ is $\hat{k}(\xi)=C|\xi|^{d-\alpha}$ with $C=C(d,\alpha)$ ? Thank you .
1
vote
0answers
70 views

Can Gradient be controlled by Curl and Divergence in Morrey spaces

In $L^p(\mathbb{R}^3)$, it holds for $1< p< \infty$ and $\mu\in C^\infty_0(\mathbb{R}^3)$, $$\|\nabla\mu\|_p\leq C \left( \|\operatorname{div} \mu\|_p + \|\nabla\times\mu\|_p \right).$$ So, how ...
0
votes
0answers
97 views

Fourier transform [closed]

Let $k(x)=|x|^{-\alpha}$ ,$x\in\mathbb{R}^d, \,0<\alpha<d $. Why the Fourier transforms of $k$ is $\hat{k}(\xi)=C|\xi|^{d-\alpha}$ with $C=C(d,\alpha)$ ? Thank you .
2
votes
1answer
188 views

Decoupling in mixed norm spaces

Bourgain and Demeter's proof of the $L^2$ decoupling conjecture decouples $\|f\|_{L^p}$ into an $L^2$ sum of $\|f_\theta\|_{L^p}$, where $\hat f$ is supported on a curved hypersurface $S$, where ...
5
votes
2answers
180 views

Can $C^*$-algebra of continuous functions on $R^n$ ($S^n$) be characterized alternatively?

Dictionary between algebra and geometry is somewhat one of the main concepts in modern mathematics. So commutative $C^*$ algebras are one-to-one with locally compact Hausdorff spaces. So it is ...
0
votes
0answers
22 views

Is there a “natural” way to interpolate between a set of bound state wave functions?

Consider for example the Coulomb potential, $-Z/r$, for which there exist a set of bound states with energy $\epsilon_n := {-Z^2 \over 2 n^2}$ (in Hartree). If I want the "wavefunctions" for some ...
1
vote
0answers
52 views

Kirillov orbit Method for Complex nilpotent groups

Let $G$ be a nilpotent simply connected real Lie group. From the classical work of Kirillov, it is well-known that the irreducible unitary representations of $G$ are in a canonical bijective ...
2
votes
1answer
271 views

Pointwise convergence of Fourier series, Fefferman's article

This is the first time I ask a question here, so sorry if I make any mistake in the way I ask it. I'm studing Fefferman's article Pointwise Convergence of Fourier Series, and I have two questions: ...
-1
votes
0answers
46 views

The closed support of νν is a set of infinite 1-dimensional Hausdorff measure

if $\nu$ is non-zero measure,and $\sum\limits_{|n|\neq 0}\frac{|\hat{\nu(n)}|^2}{|n|}<\infty$,$\hat\nu(n)$ is the Fourier transform of the measure $\nu$. why the closed support of $\nu$ is a set ...
6
votes
1answer
342 views

Who gave the generalized Stone-Weierstrass Theorem?

Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a closed self-adjoint subalgebra of $C(X)$ which contains the constants. Then $\mathcal{A}$ is the collection of continuous functions on ...
0
votes
0answers
46 views

Approx the jump point of a $BV$ function from both hand side

Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as $$ u(x)= \begin{cases} 0,&\text{ if }x\in(-1,0)\\ 1,&\text{ if }x\in(0,1) \end{cases} $$ Clearly, we have $u\in ...
2
votes
0answers
55 views

Dirichlet-to-Neumann Map is selfadjoint

Let $\Omega$ be a compact, riemannian manifold with non-empty smooth boundary $\partial \Omega = \Gamma$. For a smooth function $u \in C^\infty(\Gamma)$ we define the harmonic extension $\hat{u}$ as ...
2
votes
1answer
108 views

Representation of the elements of $c_0^\perp$ as integrals over ultrafilters

Let $$ X=\big\{\varphi\in\ell_\infty^{\,*}(\mathbb N) : \varphi(\{a_n\})=0\,\,\text{whenever $a_n\to 0$}\big\}. $$ If $\varphi_{\mathscr F}(\{a_n\})$ is the limit of $\{a_n\}$ with respect to the ...
5
votes
1answer
110 views

Orthonormal bases on Reproducing Kernel Hilbert Spaces

Recall that a Hilbert space $\mathcal{H}$ is a reproducing kernel Hilbert space (RKHS) if the elements of $\mathcal{H}$ are functions on a certain set $X$ and for any $a\in X$, the linear functional ...
3
votes
0answers
175 views

Inverse problem for negative moments

Let $D$ be a bounded simply connected domain in the plane, bounded by a smooth closed curve $\partial D$. Moreover$D$ contains the origin. Assume that all negative complex moments w.r.t arc-length ...
1
vote
0answers
61 views

The real method of interpolation and operator ideals,

Let $\overline{A} \mbox{ and } \overline{B}$ be n+1-tuples of Banach spaces and $T:\overline{A}\rightarrow \overline{B}$ be an interpolation operator; let $J(\overline{A})$ and (the corresponding) ...
7
votes
2answers
366 views

States in C*-algebras and their origin in physics?

in $C^*-$algebras with unit element, there is the definition of a state, as a functional $\omega$ with $\omega(e)=||\omega||=1.$ Now, of course there is also in classical physics and quantum ...
6
votes
0answers
218 views

Interpolation between $H^1$ and $H^1\cap L^1$

Suppose that $T:H^1(\mathbb{R}^3)\rightarrow\mathbb{R}$ is a linear bounded operator, with operator norm $M_2$. In particular, given $1\leq p\leq2$, there exist optimal constants $M_p\leq M_2$ such ...
3
votes
2answers
126 views

Weak convergence implies norm convergence for trace class operators?

It is known that weak convergence implies norm convergence in $\ell^1(\mathbb{N})$, see e.g. here. Because of the typical analogies of the Schatten ideals $C_p \subset B(H)$ (where $H$ is a Hilbert ...
-1
votes
0answers
70 views

inverse Fouier transform from partial Fourier transform

It is known that a function $u(\mathbf{x})\in C_0^{\infty}(\Omega)$ can be reconstructed from its Fourier transform using inverse Fourier transform. $$u(\mathbf{x}) = \mathcal{F}^{-1} (\widehat{u}) = ...
1
vote
1answer
136 views

Dense subspaces of $L^p(0,T;X)$

Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that $$\int_0^T\Vert ...
11
votes
1answer
369 views

An inequality for the spectral radius of matrices used by J. Bochi

I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
9
votes
0answers
153 views

Complemented subspaces in the dual of James' space $J$

James' space $J$ is subprojective; i.e., every infinite dimensional (closed) subspace of $J$ contains an infinite dimensional subspace which is complemented in $J$. This fact can be found in Corollary ...
2
votes
1answer
102 views

Does the Abel transform preserve analyticity?

Let $I=(0,1]$ and $T=\{(x,y)\in I^2;x\geq y\}$. If functions $f:I\to\mathbb R$ and $w:T\to\mathbb R$ are analytic, is the function $A_wf:I\to\mathbb R$, $$ ...
1
vote
1answer
134 views

Hermitian Projections on $C[0,1]$

If $X$ is a normed linear space and $S(X)$ its unit sphere, $X′$ its dual space and $Π=\{(x,f)∈S(X)×S(X′) \ | \ f(x)=1\}$, then for an operator $T$ on $X$, the numerical range $V(T)$ is defined by ...
5
votes
0answers
112 views

Integral-like concepts

I am looking for interesting concepts (I guess you could say functionals from the function space $[a;b]\to\mathbb R$) that are like integrals in some respect. The background is that I have proven a ...
1
vote
2answers
125 views

Antiproximanal subspace of $L_1[0,1]$

Could someone give a reference or construct an example of closed subspace of $Y\subset L_1[0,1]$ such that $\operatorname{dist}(x,Y)$ is not attained of for any $x\notin Y$. I read somewhere that $Y$ ...
0
votes
0answers
49 views

Definiteness and infinite divisibility of kernels including heat semigroup

Let $P_{t}$ be the usual heat semigroup. Can one show (preferably) or disprove that for arbitrary $k \in \mathbb{R}_{>0}$ and $n \in \mathbb{N}$ we have \begin{equation} ...
1
vote
0answers
56 views

Partial trace with spectral measure

I'm a physicist who needs mathematical advice: Let $A= \sum_{i=1}^{\infty} a_i P_{\phi_i}$ be a self-adjoint operator with projectors $P_{\phi_i}$ on the orthonormal eigenbasis $(\phi_i).$ Let $$B= ...
4
votes
1answer
120 views

Spectrum of unitary elements of a Banach algebra

Unitary elements of a Banach space have been defined in this paper as follows: Let $A$ be a Banach space and $a\in A, \|a\|=1$. Let $S_{a}=\{f\in A':\|f\|=1=f(a)\}$. Then $a$ is said to be ...
3
votes
0answers
91 views

Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that it seems simple but I can not solve it. Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
2
votes
0answers
103 views

Concentration compactness on a compact setting

Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\varphi_k \in C^\infty(M)$ such that $\varphi_k$ satisfy the basic concentration compactness ...