Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

5
votes
0answers
237 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
5
votes
0answers
86 views

Modes of convergence in infinite direct sums of $L^{2}$ spaces

It is known that if a sequence of random variables converges in norm then there exists a subsequence which converges almost surely. That is: let $\left(X_{n}\right)_{n\in\mathbb{N}}\subseteq ...
5
votes
0answers
63 views

$H^{1/2}$ function but not better

I am looking for an example of a function $f: [0, 1] \longrightarrow \mathbb{R}$ that is in the Sobolev space of order $1/2$, $H^{1/2}([0, 1])$, but not in the Sobolev space of order $1/2 + ...
5
votes
0answers
168 views

Isomorphism between $C^\infty_0(B_1)$ and $\mathscr{S}(\mathbb{R}^n)$

Background: Related question I am trying to prove, that the countably-normed spaces $C^\infty_0(B_1)$ on the open unit ball (i.e. function and all derivatives vanish at the boundary) in ...
5
votes
0answers
89 views

Weak*-complemented subspaces of $\ell_\infty$

Consider $\ell_\infty$ as $\ell_1^*$. Let $X$ be an infinite-dimensional complemented subspace of $\ell_\infty$ (in partiuclar, $X$ is isomorphic to $\ell_\infty$). Can we find a further subspace ...
5
votes
0answers
237 views

Functions with compact support

I have a question about a convergence of functions with compact support. SETTING Let $d\geq 3$ and $U \subset \mathbb{R^{d}}$ be open and $dx$= Lebesgue measure on $U$. Let $b_{i},c,d_{i} \in ...
5
votes
0answers
93 views

a question about Tsirelson's space

Background. Let $T$ denote the Figiel-Johnson construction of the Tsirelson space, that is, the completion of $c_{00}$ under the implicitly-defined norm ...
5
votes
0answers
139 views

Connections and dependences between topological and algebraic basis in topological vector space

On my last functional analysis exam, one of the tasks was to show that if normed vector space $X$ have countable Hamel basis, then $X$ is separable space (over field $\mathbb{R}$). I am not sure if ...
5
votes
0answers
136 views

Representation of Stochastic Integrals as Lebesgue/Bochner Integrals

Just as the Riemann–Stieltjes integral can be equivalently defined as a Lebesgue integral with the corresponding Lebesgue–Stieltjes measure, I am looking for the corresponding results for the ...
5
votes
0answers
88 views

Equivalence of definitions of $C^k(\overline U)$

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set. In Evans book we find the definition $$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on ...
5
votes
0answers
72 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
5
votes
0answers
153 views

Gradient on Sobolev spaces

Suppose I have a function $\Phi \in L_p(\Omega)$ and $\nabla\Phi \in W^{-\alpha}_p(\Omega)$, $1<p<\infty$ and where $\Omega\subset\mathbb{R}^n$ is a bounded domain. Can I conclude that $\Phi\in ...
5
votes
0answers
57 views

How can I show that given a norm one linear functional on $c_0$ that there is a unique extension to a norm one functional on $\ell_\infty$?

We are given that our Banach space is $c_0 \subset \ell_\infty(\mathbb{N})$ and there is a functional $y^* \in c_0^*$ such that $||y^*|| = 1$. We are guaranteed that this extends, via Hahn-Banach to a ...
5
votes
0answers
267 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
5
votes
0answers
151 views

Showing a sequence $x_{n+1} = Tx_n$ forms a contraction mapping

I want to show that the sequence given by $$x_{n+1} = Tx_n = x_n-\frac{(x_n^2-2)}{x_n+x_{n-1}}$$ forms a contraction mapping. That is $$|Tx_1-Tx_2|\leq c|x_1-x_2|.$$ Where $c$ is to be determined. I ...
5
votes
0answers
168 views

Moduli of smoothness, Besov spaces, and Sobolev spaces

For $1\leq p\leq\infty$, the $r$-th order $L^p$-modulus of smoothness is \begin{equation} \omega_r(u,t,\Omega)_p=\sup_{|h|\leq t}\|\Delta_h^ru\|_{L^p(\Omega_{rh})} \end{equation} where ...
5
votes
0answers
64 views

Masas in quotients

Let $A$ be a von Neumann algebra and let $B$ be a norm-closed ideal of $A$ (but not necessarily WOT-closed). What one has to assume about $A$ and $B$ to ensure that if $M\subset A$ is a maximal ...
5
votes
0answers
262 views

Invertibility of elements in a Banach algebra

Let $X=L^1\cap L^2$, and $\hat{X}$ be the Banach algebra of the image under Fourier transform of $X$. Then do the unital extension $1\dot{+}\hat{X}$ of $X$ by adding a constant function with the norm ...
5
votes
0answers
174 views

Don't understand this proof of equivalence of weak solutions to PDE

I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the image for that part: $$$$ $$$$ I give here ...
5
votes
0answers
123 views

Is this a spectral decomposition/embedding/isometry?

Given a symmetric p.s.d matrix G, we know that a gram matrix/inner-product representation, X exists where $G=X^TX$ and $X=U\lambda^{1/2}$ via the eigen decomposition of $G$. Now if I take the same ...
5
votes
0answers
152 views

Operator completly continuous

For $\lambda>0$, let $v(t)=\lambda \phi(t)$. Consider the BVP consisting of the equation $$u'''=\lambda[f(t,[u-v]^*+\gamma)+M(t)] ,t\in (0,1)$$ and (BC):$u(0)=u'(p)=\int_q^1 w(s)u''(s)=0 ...
5
votes
0answers
95 views

Solution to $\Delta_g u = \delta-1$ on a 2-sphere.

Let $S^2$ be the two-sphere, endowed with a Riemannian metric $g$, such that the volume of the sphere w.r.t. this metric is $4\pi$. Let $a \in S^2$. I am looking for an easy way to prove that the ...
5
votes
0answers
264 views

Problem of Scottish Book

Does anyone know if the problem 50 to Banach written in The Scottish Book is resolved? The problem is: Prove that the integral of denjoy is a Baire functional in the space M ( that is to say, in ...
5
votes
0answers
56 views

Interpretation for the Functional Determinant

Let $S:V \rightarrow V$ be a linear operator on the function space $V$. It is possible to define a functional determinant for $S$ via the zeta function regularization process. In specific we define ...
5
votes
0answers
134 views

What is visualization of gradient flow of a functional?

I don't work on functional analysis but during my study, I faced gradient of a functional. I read its definition, but I can not understand why it is a useful tool? Why if a flow can be written as a ...
5
votes
0answers
538 views

Topics of advanced functional analysis

I did a course in introductory functional analysis and liked it. Now I want to learn more functional analysis with the goal of maybe eventually doing research (phd). I tried to find out what ...
5
votes
0answers
188 views

How to decompose a representation into direct sum of cyclic representation?

Let $U$ be the bilateral shift operator on $l^2 (\mathbb Z)$, let $T=U+U^*$. How to calculate $\sigma(T)$? And how to show there is no cyclic vector for the action of $C^*(T,I)$. Further how to ...
5
votes
0answers
121 views

Is this function in the Sobolev space $H^{2,-s}(\mathbb{R}^3)$?

I have the function $$f(x)=\frac{e^{iz|x-y|}}{4\pi|x-y|}$$ with $y\in\mathbb{R}^3$ and $\Im z>0$. Let $s>\frac{1}{2}$. Clearly it is not in $H^{2,-s}(\mathbb{R}^3)$ for the singularity of order ...
5
votes
0answers
69 views

$e^{iBt}e^{-iAt}$converges as operator norm

Let $A,B$ be self-adjoint operators on $H$,then we can define the strong limit $$ W=s-\lim_{t\to+\infty}e^{iBt}e^{-iAt} $$ If the limit exsists, then W is called the wave operator, which is ...
5
votes
0answers
143 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
5
votes
0answers
77 views

Proving continuity on spaces of distributions?

Let $\mathcal{D}'(\Omega)$ be the space of distributions on an open set $\Omega$, and $\mathcal{E}'(\Omega)$ the compactly supported ones. When you have a linear operator ...
5
votes
0answers
128 views

Proofing an inequality with a slowly varying function

I am working right now with "Independent and Stationary Sequences of Random Variables" from Ibragimov 1971. I am trying to understand the proof of the following Lemma (18.2.4): $h: \mathbb N ...
5
votes
0answers
638 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
5
votes
0answers
168 views

Question about proof of Tychonoff-Alaoglu

I'd like to check that I understand the proof in full detail. Can you tell me if the following is correct? Thanks for your help. Claim: The closed unit ball $B_{\|\cdot\|_{op}}(0,1)$ in $X^\ast$ is ...
5
votes
0answers
464 views

Question about proof of Hahn-Banach lemma

I think they do something unnecessary in my notes in the proof of the following lemma: The idea of the proof is to partially order the set $\Sigma$ of pairs $(X_i, f_i)$ where $X_i$ is a linear ...
5
votes
0answers
2k views

Gradient operator the adjoint of (minus) divergence operator?

Recently I found this statement -- the gradient operator is the adjoint of the minus divergence operator -- in one of my lecture notes. Knowing only a little about functional analysis, I'm looking for ...
5
votes
0answers
187 views

Distributional derivative of bounded functions

Let $f$ be a bounded measurable function on $\mathbb{R}$. We may consider its derivative $f'$ as a distribution on $\mathbb{R}$. Is there a reasonable description of those distributions $\psi$ ...
5
votes
0answers
203 views

Relations between spectrum and quadratic forms in the unbounded case

Let $H$ be a complex Hilbert space. If $B$ is a bounded self-adjoint operator on $H$ then its spectrum is a closed and bounded subset of the real line and we can find its extremes in terms of the ...
5
votes
0answers
127 views

Direct limits of completely positive maps on $C^*$-algebras vs. operator systems

I believe I've heard, as part of the "lore," that the category (operator systems, completely positive maps) has direct limits, whereas the category ($C^*$-algebras, completely positive maps) does not. ...
5
votes
0answers
564 views

Are Arzelà–Ascoli theorems results of similar theorems on normed spaces, metric spaces or other spaces?

From Wikipedia, two generalizations of the Arzelà–Ascoli theorem are Let $X$ be a compact Hausdorff space. Then a subset $F$ of $C(X)$, the set of real-valued continuous functions on X, is ...
5
votes
0answers
135 views

Convergence of integrals of Radon measures

Let $X$ be a locally compact Hausdorff space and let $\mu_n$ be a sequence of bounded variation Radon measures on $X$ such that $\int_X g \;d\mu_n \rightarrow \int_X g \;d\mu$ for each $g \in C_0 (X)$ ...
5
votes
0answers
352 views

Weakest topology with respect to which ALL linear functionals are continuous

One often considers a Banach space $X$ under the "weak topology", ie. the weakest topology such that all bounded linear functionals are continuous. This leads me to wonder about the weakest topology ...
5
votes
0answers
208 views

Fractional iteration of the Newton-approximation-formula: how to resolve one unknown parameter?

For my own exercising I tried to find a closed form expression for the Newton-approximation algorithm, beginning with the simple example for getting the squareroot of some given $ \small z^2 $ by ...
4
votes
0answers
45 views

Operator continuity on Hilbert space

Let $A: H \to H$ be a linear operator on Hilbert space $H$, and let $\{\alpha_n\}_{n = 1}^{\infty} \subset \mathbb{R}$ converges to nonzero number. Prove that if the series $\sum_{n = 1}^{\infty} ...
4
votes
0answers
52 views

Compact sets of compact-open topology

Let $X$ and $Y$ be topological spaces,$X$ not compact and $Y$ metric, denote with $C(X,Y)$ the set of continuous functions between $X$ and $Y$ and put on $C(X,Y)$ the compact-open topology. My ...
4
votes
0answers
41 views

Functorial construction of the convolution algebra of measures on a group

Let $G$ be a lcoally compact group and $C_c(G) = \lim_{K \subset G} C(K)$ its space of continuous functions with compact support endowed with the topology of the limit of banach spaces $C(K)$ with $K$ ...
4
votes
0answers
30 views

Functions that make a set of functions based on given conditions

Recently, I have been thinking about functions that make functions based on a set of conditions. Originally, I thought this is what generating functions were but after doing some research, I didn't ...
4
votes
0answers
46 views

Submultiplicative Hilbert space norm on $B(H)$

Let $H$ be a complex Hilbert space and let $B(H)$ denote the space of bounded linear operators $H \to H$ equipped with operator norm: $$ \lVert T \rVert = \sup\big\{ \lVert Tx \rVert \: : \: \lVert x ...
4
votes
0answers
58 views

How is this a Banach space?

Let $k>0$ and $X=\{u\in C([0,+\infty); \sup_{t\geq 0}e^{-kt}\|u(t)\|<\infty\}.$ It is written in the book of Brezis that "It is easy to check that $X$ is a Banach space for the norm ...
4
votes
0answers
36 views

$L^{2}$ convergence of sequence $|u_{j}|^{p}\nabla u_{j}$

Suppose a sequence $\{u_{j}\}$ is bounded in the Sobolev space $H^{2+\epsilon}(\Omega)$, for $\epsilon>0$, where $\Omega$ is say a bounded, $C^{\infty}$ domain. Here, the fractional space ...