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

learn more… | top users | synonyms (1)

4
votes
1answer
79 views

Operator space structures on CB(H,K) where H and K are Hilbertian operator spaces?

(I'd be grateful if anyone thinking of putting MathJax in the question title refrains from doing so.) By consulting various standard sources (Effros-Ruan's book, Pisier's book, the lexicon of ...
8
votes
2answers
313 views

$l^1$ versus $l^2$

Is there an elementary proof of this Banach space fact? If the Banach space $V$ is linearly isomorphic to $l^1$, then it does not isometrically contain euclidean spaces of arbitrarily large finite ...
2
votes
1answer
149 views

Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture: Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$ Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
3
votes
0answers
62 views

A continuous functional calculus on/positive elements in a Fréchet algebra?

I am trying to understand what (minimal) conditions one would need in order to obtain a functional calculus on a Fréchet algebra, which we demand to be equipped with an involution that leaves all semi-...
2
votes
0answers
43 views

Can we say translation/dilation of the $L^p-$multiplier is again a $L^{p}-$multiplier?

Suppose that $m:\mathbb R \to \mathbb C$ such that $\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}$ (where $C$ is some constant, $f\in L^{p}$). (That is, $m$ is an $L^{p}-$ multiplier) ...
2
votes
0answers
44 views

1D inhomogeneous linear Schrodinger equation

I have the following problem: $iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...
3
votes
0answers
116 views

Average nastiness of a Newton polytope

Given a Newton polytope $P$ inside the $d$-scaled simplex ( i.e $\alpha \in P \implies | \alpha |=d $ ), then we define the following quantity: $$ P(x)= \left( \sum_{\alpha \in P} \binom{d}{\alpha}...
2
votes
0answers
30 views

A question about Carleman linearization

Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻² Let $f$ be ...
1
vote
1answer
52 views

A diagonalisation argument applied to density functions

There is a claim from a paper which I do not understand: Let $D$ be a domain in $\mathbb{R}^d$. Let $(p^{\eta})_{\eta >0}$ be a family of densities for random variables on $(C[0,T], \mathbb{R}^...
4
votes
1answer
265 views

$\forall g\in L^2(\Omega)$ exists $g_n\in H_0^1(\Omega)$ and $\epsilon>0$ s.t $g_n(x)\to g(x),\,a.e$ and $|g_n(x)|\leq |g(x)|+\epsilon$

I asked this question on MSE here some time ago, but I couldn't get an answer. There was a suggestion in the comments for a counterexample using a fat Cantor set, but I couldn't show a contradiction ...
1
vote
0answers
73 views

How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?

Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$. Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
3
votes
0answers
163 views

Non-compact analogue of Peter-Weyl

I have the following situation: $G$ is a real unimodular locally compact semisimple Lie group. Then it is known that the regular representation $H:=L^2(G,\mu_H)$ decomposes as \begin{equation} \int^{\...
5
votes
1answer
165 views

Extension of functions from geodesically convex compact sets in a Riemannian manifold

In the paper Extension operators for spaces of infinite differentiable Whitney jets (J. reine angew. Math. 602 (2007), 123—154, DOI:10.1515/crelle.2007.005) by Leonhard Frerick, a convenient condition ...
1
vote
0answers
78 views

Convolution Integral involving an unknown function

I've got the following problem I'm working on which is related to some of my research. I am trying to solve the following equation for the function $f$. $$t^{-\alpha} \exp{ \left(- \beta x^2 t^{-2 \...
0
votes
0answers
57 views

What equals $\ker[(A-\lambda I)^+]$ for a negative unbounded operator $A$?

We have the following result: $\{ E_{\lambda}; \, -\infty <\lambda < + \infty\}$ is a spectral family, where $E_{\lambda}$ is the projection of $H$ onto the null space $\mathscr N \left(A_\...
1
vote
0answers
46 views

Multilinear Interpolation

Suppose I have a multilinear map $\Gamma(u,v)$ satisfying \begin{align} \big\| \Gamma(u,v)\big\|_{L^2} &\leq \big\| u\big\|_{L^2} \big\| v\big\|_{L^2} \\ \big\| \Gamma(u,v)\big\|_{L^\infty} &\...
3
votes
1answer
158 views

Uniqueness from orthogonality relation?

This question was posted yesterday on MathOverflow by Michael Smith and received a number of upvotes. I too think the question was interesting. However, for some unknown to me reasons, it has been ...
2
votes
0answers
77 views

Getting an a priori energy estimate from PDE weak formulation

On a bounded domain $\Omega$, I have two functions $u$ and $v$ in $L^2(0,T;H^1(\Omega))\cap H^1(0,T;(H^1(\Omega))^*)$ satisfying $$\frac{d}{dt}\int u^2 + c_1\int |\nabla u|^2 + n\int u^2 \leq n\int uv$...
1
vote
1answer
219 views

On the second dual of $C[0,1]$

I have two questions on the second dual of $C[0,1]$: R. D. Mauldin ([1]) proved that: For a given bounded linear functional $T: C[0,1]^*\to \mathbb{C}$ there is a bounded function $\psi$ defined on ...
1
vote
3answers
129 views

Norm of an operator formed using a unitary operator

Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
2
votes
0answers
95 views

Are Ritt operators mean ergodic?

In the following, $T$ is a bounded operator on a Banach space $X$. $T$ is called "power bounded" if $\sup_{n\in \mathbb N}\|T^n\|<\infty$; $T$ is called "mean ergodic" if the Cesàro sums $\frac{1}...
2
votes
0answers
113 views

The boundedness of an entire function along the imaginary axis

I am looking for an answer in the affirmative or the negative concerning the asymptotics of an entire function. The question, relatively simple to state, has proven very taxing to solve and requires ...
1
vote
0answers
31 views

Boundary regularity of higher order PDE

consider the subsequent pde (weak formulation): $\int_\Omega D^m\phi:D^m\psi+ Df(D\phi):D\psi+(g h\circ\phi)\cdot\psi dx=0$. In this case, $n\geq 2$, $\Omega=[0,1]^n$, $m>2+\frac{n}{2}$, $\phi\...
9
votes
5answers
582 views

Applications of functional analysis beyond analysis(towards algebra, geometry, number theory…) [closed]

So far, We have seen the applications of functional analysis in PDE, probability and many areas in applied mathematics. On the other hand, methods of algebraic topology are introduced to functional ...
1
vote
0answers
59 views

Topologies with the same convex closed sets

Let $\tau_1$ and $\tau_2$ be locally convex Hausdorff topologies on vector space $X$ such that $(X,\tau_1)^\ast = (X,\tau_2)^\ast$. It is well known that $(X,\tau_1)$ and $(X,\tau_2)$ have the same ...
2
votes
0answers
49 views

When does the ground state energy continuously depend on a parameter?

Given a family of Schrödinger operators $H_\gamma=-\Delta+V_\gamma$, under which condition is the map $\gamma\mapsto\inf\sigma(H_\gamma)$ continuous? This is surely the case for many textbook ...
2
votes
0answers
228 views

Is this continuous linear map weakly compact?

Let $E$ and $F$ be Fréchet spaces, let $U$ be an open subset of $E$, and let ${\mathcal{H}}(U;F)$ be the spaces of holomorphic mappings from $U$ into $F$. Let $\tau_c$ denote the compact-open ...
1
vote
0answers
60 views

Properties of convergence at points of continuity

Let $J$ denote the set of functions $f : [0, \infty) \to \mathbb{R}$ that are right-continuous and have left-hand limits (r.c.l.l.) and such that their points of discontinuity are jumps. Then $J$ is a ...
9
votes
3answers
508 views

is every element in a C* algebra a product of normal elements?

I have the following question and since I am not an expert on C*-algebras, I thought I ask it here: I know that in general the sum and product of normal elements need not be normal. It is even true ...
1
vote
1answer
54 views

Extremal of an L^1 continuous functional on a compact bounded set

Please, I need a small help with a reference. Lets say we do have a continuous functional $f$ on $L^1$ space and we want to prove the existence of extremals $f(\Omega)$, where $\Omega$ is compact and ...
3
votes
0answers
140 views

A strongly open set which is not measurable in the weak operator topology

Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$. Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: \...
1
vote
1answer
72 views

Definite intergal with two K-Bessel functions and x

I would like to calculate the definite integral with K-Bessel funcitons and a and b complex (n and k integers): $$\int_{0}^{\infty} x \;K_{a}(nx) \; K_{b}(kx) \; dx$$ I could not find it in ...
0
votes
1answer
122 views

A point-wise separation Hahn-Banach theorem in C*-algebras

Let $H$ be a Hilbert space. We denote $K(H)$ by the space of compact operators on $H$ which is a two sided ideal in $B(H)$. Let $E$ be a norm closed convex subset of positive operators in $K(H)$ ...
4
votes
0answers
58 views

L^1 maximal inequalities for the Ornstein-Uhlenbeck semigroup in infinite dimension

For an infinite-dimensional Gaussian random vector $X$ consider the Ornstein-Uhlenbeck maximal operator: $M f(X) := \sup_{\rho \in [0,1]} \mathsf{E} [f(\rho X + (1-\rho^2)^{1/2} X^\prime) \mid X]$ (...
5
votes
2answers
182 views

$L^{\infty}$ polynomial approximation

In short: For a given smooth or continuous function, how can we obtain the best $L^{\infty }$ approximating polynomial? Jackson (1911) proved that there is a best approximating polynomial in the $L^{\...
2
votes
0answers
50 views

Functional equations about Conway's box function

Conway's box function is the inverse of Minkowski's question mark function. It maps the dyadic rationals on the unit interval to the rationals using the Stern-Brocot tree (Farey sequence). The ...
2
votes
0answers
45 views

Restricted weak type bound at the endpoint

We know that if we have an operator that is (restricted) weak type $(p,p)$ and (strong) type $(\infty,\infty)$ with norm 1, then it's also of strong type $(q,q)$ for all $p<q<\infty$ by the real ...
0
votes
0answers
89 views

The norm of the operator in the Calderon-Marcinkiewicz interpolation theorem

I read a general Marcinkiewicz interpolation theorem (the Calderon-Marcinkiewicz theorem) in J.Bergh's book "Interpolation Spaces - An Introduction".(Page 113-114, Theorem 5.3.2). If $T:L_{p_ir_i}\to ...
2
votes
0answers
195 views

Quantum Mechanics derivation of Wallis' Formula?

Recently there was a proof of the Wallis Product using quantum mechanics on the arXiv. However, there are many proofs of the result, Wikipedia has 4. Fine Print the first proof has on Wikipedia, the ...
12
votes
2answers
881 views

Do non-stable Banach spaces exist?

Let $K$ be $\mathbb{R}$ or $\mathbb{C}$. A Banach space $X$ over $K$ is stable if $X\cong X\times K$. I encountered the following question in some papers in the sixties: Is every infinite ...
2
votes
0answers
30 views

Specific type operators and basic sequences

Let $s$ be the space of rapidly decreasing sequences, i.e. $s=\{\xi=(\xi_j)_j\colon\,\,\sup_j|\xi_j|j^n<\infty\,\,\text{for all}\,\,n\in\mathbb{N}\}$ and $s'$ its topological dual, i.e. $s'=\{\eta=(...
3
votes
1answer
85 views

Strongly continuous semigroups and symbols of pseudo differential operators

I am considering the Cauchy IVP for the evolution equation $$u_t + \Psi u =0$$ where $\Psi$ is a linear pseudo differential operator with symbol $\widehat{\Psi}\left(\underline{\xi}\right)$. The ...
6
votes
1answer
116 views

Convex Hull of univalent functions and Bieberbach Conjecture

Consider the class $S$ of univalent functions on the unit disk $D$ normalized so that $f(0)=0$ and $f'(0)=1$. Each function in $S$ satisfy the Bieberbach conjecture, that is the $n$-th coefficient in ...
1
vote
1answer
107 views

Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan. I have a problem understanding one step ...
12
votes
2answers
423 views

Nuclear operators/spaces and transfer operators

While studying for my thesis (in dynamical systems) I've encountered multiple times with the concept of nuclear operators and nuclear spaces, often linked with the works of Grothendieck. For example, ...
7
votes
1answer
211 views

Tightness and Functional Analysis

Let $(\Omega , \mathbb{P})$ be a probability space and $X$ be a real-valued random variable. Then we immediately have the push-forward measure $\mu$ on $\mathbb{R}$ and one can think of $\mu$ as an ...
4
votes
0answers
40 views

Chord-arc property of n-tuples of commuting operators

Assume that we have an $n$-tuple $S^0=(S^0_1,\dots,S^0_n)$ of commuting operators in a Hilbert space $H$ and another such an $n$-tuple $S^1$. Is it possible to connect these two $n$-tuples by a ...
3
votes
1answer
138 views

A linear functional on $C(K)^*$ continuous on each $L_1(\mu)$

I asked this at math.stackexchange, but nobody answered. Let $K$ be a (Hausdorff) compact topological space, ${\mathcal C}(K)$ the usual Banach space of continuous functions $x:K\to{\mathbb C}$, ${\...
5
votes
1answer
296 views

Application of Factorization Theory to Oscillatory Integral Estimates

In the article "Some New Estimates on Oscillatory Integrals" by Bourgain in the book Essays in Honor of Elias M. Stein, Bourgain considers operators of the form $$S_{N}g(x):=\int_{\mathbb{R}^{n}}g(y)e^...
1
vote
0answers
56 views

Uniform limit of m-homogeneous polynomials over compact subsets of a Banach Space

I am trying to solve problem 1.2.A from Mujica's book "Complex Analysis in Banach Spaces". We denote by $\mathcal{P}_a(^mE;F)$ the space of all $m-$homogeneous polynomials from $E$ into $F$, i.e, the ...