**0**

votes

**0**answers

36 views

### Continuation of an almost periodic sequence on the Bohr group

A sequence $x={(x_k)}_{k \in \mathbb{Z}}$ of real numbers is a uniformly continuous function on the discrete topological group $\mathbb{Z}$. Therefore it admits a unique continuous extension $\bar x$ ...

**2**

votes

**1**answer

63 views

### Topology in space of test functions $\mathcal{D}(\Omega)$ and space of distributions $\mathcal{D}'(\Omega)$

We can concluded that $\mathcal{D}(\Omega):=\bigcup_{K \in \mathcal{K}(\Omega)} \mathcal{D}_K(\Omega)$ (where $\mathcal{K}(\Omega)$ denotes the union of all compacts set content in a open subset ...

**1**

vote

**1**answer

80 views

### Duality argument to get $L^\infty-L^2$ inequality

In page 79 of Davies's book on Heat Kernels and spectral theory, the author proves that
$$\lVert e^{-Ht}f \rVert_2 \leq c_1t^{-\mu/ 4}\lVert f \rVert_1$$
where the norms are $L^p$ norms. He states
...

**-1**

votes

**0**answers

13 views

### weakly p- summable sequence

Let $ (x_{n}) $ a weakly $ p- $ summable sequence in $ X $ and $ ( x^{\ast}_{n})$ a weakly null sequence in $ X^{\ast} $ and $ i_{n} : Y_{n}\rightarrow X$ be the natural injection and $ p_{n} : ...

**4**

votes

**2**answers

76 views

### Does the truncated Hausdorff moment problem admit absolutely continuous solutions?

Let $\mu$ be a (Borel) probability measure on $[0,1]$ and define $m_j(\mu) = \int x^j\,\mu(dx)$. Let $k$ be a positive integer and consider the set $\mathcal C_{\mu,k}$ of probability measures $\nu$ ...

**0**

votes

**0**answers

43 views

### Almost tree periodic sequence

This is something I read somewhere but I don't understand. There is only a slight chance that I misunderstood the statement.
Define a (dyadic) tree permutation $\tau.w$ of a word $w=w_1\ldots ...

**1**

vote

**1**answer

82 views

### $L^1$ convergence to equilibrium of solutions of heat equation

Let $u$ and $v$ be the weak solutions of
$$u_t - \Delta u = f$$
$$u(0)=u_0$$
and
$$-\Delta v = f$$
$$|\Omega|^{-1}\int_\Omega v =0$$
on a bounded domain $\Omega$, where $u$ and $v$ satisfy homogeneous ...

**9**

votes

**1**answer

164 views

### Nonseparable Hilbert spaces

Being nonseparable Banach space is in fact nothing special: one meets the first
examples in the standard functional analysis course, when one learns about
$\ell^p$ or $L^p[0,1]$ spaces-these spaces ...

**3**

votes

**1**answer

85 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

**1**answer

100 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

**0**answers

68 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

**0**answers

66 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

**0**answers

97 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

**0**answers

46 views

### Can a semigroup be defined on a Banach algebra? [closed]

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

**1**answer

97 views

### The space of loops as a Banach space [closed]

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

**1**answer

78 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

**0**answers

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

**0**answers

62 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

**0**answers

63 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

**1**answer

124 views

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

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

**0**answers

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

**1**answer

85 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

**3**answers

281 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

**1**answer

104 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

**0**answers

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

**2**answers

180 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 ...

**1**

vote

**0**answers

71 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 ...

**2**

votes

**1**answer

197 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

**2**answers

182 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

**0**answers

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

**0**answers

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

**1**answer

284 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

**0**answers

48 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

**1**answer

343 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

**0**answers

47 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

**0**answers

56 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

**1**answer

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

**1**answer

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

**0**answers

187 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

**0**answers

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

**2**answers

370 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

**0**answers

219 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

**2**answers

129 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

**0**answers

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

**1**answer

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

**1**answer

370 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

**0**answers

159 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

**1**answer

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

**1**answer

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

**0**answers

113 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 ...