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)

1
vote
0answers
9 views

The Hardy-Littlewood-Sobolev Inequality

Let $f:\mathbb R^n \to \mathbb C$, $n\ge 2$. I saw the line that the inequality $$ \left\| |x|^{-1} * |f|^2 \right\|_{L^\infty} \le C\|f\|_{L^{\frac{2n}{n-1},2}}^2 $$ with some constant $C>0$. Here ...
0
votes
0answers
10 views

Can a positive definite kernel expanded as the product form with an arbitrary orthonormal system?

Notations mostly follow https://en.wikipedia.org/wiki/Mercer%27s_theorem. Mercer's theorem uses the eigenfunctions $\{e_j\}$ of the integral operator as the expansion function. I wonder if we could ...
2
votes
0answers
20 views

Hyperplane in a complex vector space

This is my first question on MSE, I'm sorry if there already exists similar questions, I couldn't manage to find it. My friend, who studies Physics, asked me about the meaning of "functional" so I ...
2
votes
0answers
21 views

Expected value of multidinesional symmetric function is zero

Does anybody know a simple proof of this statement or reference to such proof? Statement Let $h: R^n \to R$ be a bounded function, symmetric in its arguments, i.e. for any permutation $\pi$ of set ...
0
votes
0answers
14 views

Use Riesz theorem to show functional bounded

I have the linear functional: $ F(v) = \int_\Gamma v \mathbf{g}\cdot\mathbf{n} d\Gamma$ where $\Gamma$ is a (smooth) part of the boundary of a domain $\Omega$, $\mathbf{g}$ is given (assumed smooth) ...
0
votes
3answers
16 views

Convergence on the dual of a Banach space

I have a simple question : What it means $$||v_n||_{(W^{1,p}_0)^*}\rightarrow 0$$ Where $(W^{1,p}_0)^*$ is the dual space of $W^{1,p}_0$ I know that $v_n\rightarrow 0$ in $(W^{1,p}_0)^*$ mease ...
2
votes
1answer
33 views

Specific question on $l^p$ spaces and its dual in weak * topology

I am covering now Lp spaces in my summer real analysis course and this problem from Folland related to the dual of Lp stumped me hard, it is problem 19 chapter 6 reads as follows: We define $ ...
4
votes
2answers
35 views

Parallelogram law in $L_1$ space

Exercise 5.5 from Capinski's and Kopp's book "Measure, Integral and Probability" asks to show that it is impossible to define an inner product on the space $L^1([0,1])$. In order to get this result we ...
1
vote
0answers
20 views

Generate complete functions set in hilbert space

It is just a curiosity, but is there a general method (or a class of methods) that allows to derive orthonormal complete function set for a given hilbert space? (Except Gram Shmidt algorithm and ...
1
vote
1answer
28 views

Quasi ideal sequence in $B(H)$

According to comments by Hamza I revise the question. Let $H$ be an infinite dimensional separable Hilbert space. Is there an increasing sequence of subvector spaces $V_{1} \subsetneq V_{2} ...
2
votes
1answer
37 views

Why is this a bounded operator?

Let $\mathcal{H}$ be the Hilbert space $l^2(\mathbb{N})\otimes l^2(\mathbb{Z})$. I want to prove that the operator $T$ defined by $$T:=\sum_{k=1}^{\infty}{\sqrt{1-q^{2k}}e_{k-1,k}\otimes 1}$$ is a ...
4
votes
2answers
176 views

Compact support vs. vanishing at infinity?

Consider the two sets $$ C_0 = \{ f: \mathbb R \to \mathbb C \mid f \text{ is continuous and } \lim_{|x|\to \infty} f(x) = 0\}$$ $$ C_c = \{ f: \mathbb R \to \mathbb C \mid f \text{ is continuous ...
3
votes
1answer
34 views

$\ell^p$ as a direct summand of $L^p$

I've been struggling with the following problem from a previous year's quals, and I don't know where to look it up (or even if it's supposed to be too obvious to write down). How do we embed $\ell^p$ ...
0
votes
1answer
26 views

Dense Domain: Preimage

Given Banach spaces $X$ and $Y$. Regard a bounded operator: $$A\in\mathcal{B}(X,Y)\implies A\in\mathcal{C}(X,Y)$$ Then for dense sets: $$W\leq Y:\quad \overline{W}=Y\implies\overline{A^{-1}W}=X$$ ...
3
votes
3answers
66 views

Multiplication operator on $L^1$

Let $\phi :X \rightarrow \mathbb{C}$ be measurable with respect to the measure space $(X,\mu)$. Suppose that $\phi f \in L^1(\mu)$ whenever $f \in L^1(\mu)$. Define $M_{\phi}(f)=\phi f$, for $f \in ...
1
vote
0answers
21 views

How to solve differential equations for linear operators?

I want to solve the differential equation $$ BA = \frac{\partial}{\partial t} A $$ for $A$. Here $A : H_1 \mapsto H_2$ and $B : H_2 \mapsto H_2$ are operators and $H_1, H_2$ are some Hilbert spaces. ...
3
votes
1answer
27 views

The dual function of composite functions

Given $X$ $Y$ are two finite dimensional Hilbert space. Let $K$: $X\to Y$ be linear and $F$: $Y\to \mathbb R^+$ is convex. Let us use $F^\ast$ to denote the dual (conjugate) function of $F$. Recall $$ ...
0
votes
1answer
33 views

Problem in showing that a sequence is a Cauchy sequence on a space with the integral metric.

I'm having difficulty following what is going on and understanding parts in the following example. It is quite similar to an example I posted before (Changing of the limits of integration with the ...
0
votes
2answers
21 views

denseness of polynomials in bounded borel measurable functions

Let $K\subseteq \mathbb{R}$ be compact, consider $B(K)$ the set of all bounded borel measurable functions $f:K\to \mathbb{C}$ and endow $B(K)$ with the uniform norm, so you obtain a Banach space. My ...
1
vote
0answers
16 views

Abelian Algebras: Generator

Given a Hilbert space $\mathcal{H}$. Consider normals: $$N:\mathcal{D}(N)\subseteq\mathcal{H}\to\mathcal{H}:\quad N^*N=NN^*$$ Denote their algebra: ...
0
votes
1answer
26 views

Analytic version of Hahn-Banach using geometric version

When studying the Hahn-Banach theorem, one can demonstrate the geometric version from scratch and use it to prove the analytic version, as is outlined in Hahn-Banach theorem: 2 versions. To do so, it ...
1
vote
1answer
18 views

Why is $ab=ba=a^\ast b=ab^\ast=0$ (orthogonal elements in a $C^\ast$-algebra)?

Let $a,b$ be elements in a $C^\ast$-algebra $A$, such that $$a^\ast ab^\ast b=b^\ast ba^\ast a=0$$ $$a^\ast abb^\ast=bb^\ast a^\ast a=0$$ $$aa^\ast b^\ast b=b^\ast b aa^\ast =0$$ $$aa^\ast ...
3
votes
0answers
40 views

Generalization of the Vitali-Hahn-Saks Theorem

Is there a generalization of the Vitali-Hahn-Saks Theorem for nets of measures? I do not find any related literature. Take a sequence of bounded measures on a sigma-field and consider a subnet of this ...
1
vote
1answer
17 views

composition and strong limits of completely positive maps is completely positive

I have two claims about completely positive maps. Let $X$, $Y$, $Z$ be $C^\ast$-algebras. 1) Let $f:X\to Y$ and $g:Y\to Z$ be completely positive maps. I want to know, why $g\circ f$ is completely ...
0
votes
1answer
35 views

How is Lipschitz continuity for Fréchet derivatives defined?

Let $(X,||\cdot||_X)$ be a Banach space and $X^*$ it's dual of linear functionals $X\to\mathbb{R}$. The Fréchet derivative $\nabla f(x)$ of a function $f:X\to\mathbb{R}$ at $x$ is an element of $X^*$. ...
1
vote
1answer
16 views

the $C^\ast$-algebra $M_n(A)$, understanding the $C^\ast$-norm on $M_n(A)$

Let $A$ be a $C^\ast$-algebra. I want to understand $M_n(A)$, the vector space of $n\times n$-matrices with entries in $A$, as a $C^\ast$-algebra. On $M_n(A)$ you can define an involution ...
1
vote
2answers
31 views

Connection between Fréchet derivative and the directional derivative in finite euclidean space

In the lecture notes I am reading, the following statement is made: Let $U$ be an open subset of $R^n$, and define the function $e:U \to R$. $e$ is said to be differentiable if for every $u \in U$ ...
-2
votes
0answers
16 views

Minimum value of combined functions

Let $F(x) = f_1(x) + f_2(x) + f_3(x)$ If the minimum value of $f_1$ takes place when $x= x_1$, the minimum value of $f_2$ takes place when $x= x_2$, the minimum value of $f_3$ takes place when $x= ...
1
vote
1answer
29 views

GNS construction and representations

I am currently reading about C* from the following notes ( http://www.math.uvic.ca/faculty/putnam/ln/C%2A-algebras.pdf ). In the proof of GNS construction theorem 1.12.4 page 50 there is something I ...
2
votes
1answer
36 views

Closed subsets of Banach space

$X=\{(a,b)\mid a \in C[0,1],b \in C[0,1]\}$, and its norm is $\|(a,b)\|=\|a\|_\infty+\|b\|_\infty.$ $Y=\{(a,a')\mid a \in C^1[0,1], \ a'(t)=\frac{da}{dt} \},\ Z=\{(0,b)\mid b \in C[0,1]\}.$ ...
1
vote
0answers
32 views

Example of a well defined functional integral?

So I was playing around with the notion of a functional integral. Basically given a set $S$ of functions we can define $$ \int_{f \in S} L(f) $$ As the sum of of every function $f$ evaluated by ...
1
vote
1answer
33 views

Properties of 1-Sphere in a linear normed space against a normed linear subspace.

Hi i have a little problem in understanding the proof of the following theorem If $N$ is a finite-dimensional proper subspace of normed linear space $X$, there exists an element in the 1-sphere of ...
2
votes
0answers
26 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
1
vote
1answer
32 views

Is $C[0,1]$ equipped with $\lVert \cdot \rVert_1$ a countable union of nowhere dense sets?

Let's consider the space of all continuous function $C[0,1]$ on the intervall $[0,1]$. But instead of using the usual supremum norm we use the $L^1$-Norm $: \lVert f \rVert_1=\int_0^1 \lvert f(x) ...
0
votes
1answer
27 views

C*-Algebra: Cyclic Elements

Given a locally compact Hausdorff space $\Omega$. Consider the C*-algebra: ...
0
votes
1answer
12 views

Equality in definition of dual space norm

In the definition of the dual space norm, the WP page makes the following statement: and I was wondering why going from the middle equality to the right equality was obvious?
1
vote
4answers
82 views

Are there an infinite number of open balls in an open set in a metric space?

Let's start off by recalling the definition of an open set in a metric space: A set $A$ in a metric space $(X,d)$ is open if for each point $x\in A$ there is a number $r\gt0$ such that $B_r(x)\subset ...
0
votes
1answer
19 views

Dense Operators: Spectrum

This thread is Q&A. Given a Banach space $E$. Consider closed operators: $$T:\mathcal{D}(T)\subseteq E\to E:\quad T=\overline{T}$$ Then for the domain: ...
1
vote
1answer
32 views

The convergence of different metrics on the same space

The following example is from my notes, and I would like clarification on some wider points connected to it, namely about extensions from what we understand metrics and metric spaces to be. It follows ...
2
votes
1answer
42 views

Spectrum of weighted shift operator

The Banach space considered is the following: $(l^{\infty}(\mathbb{Z}), \|\cdot\|_{*})$ with $\|x\|_{*}=\|(...,x_{-1},x_{0},x_{1},...)\|_{*}=|x_{0}|+\text{sup}_{k\neq 0}|x_{k}|$. Define $A$, an ...
1
vote
1answer
27 views

Changing of the limits of integration with the integral metric.

Consider the following sequence of functions, $$f_n(x) = \begin{cases} nx & \text{for $0\le x \le \frac1n$} \\ 1 & \text{for $x\ge \frac1n$} \end{cases}$$ And call to mind the integral ...
3
votes
0answers
37 views

Weak convergence, $L^{2}$

I have a question about weak convergence. Let $(S,\Sigma,m)$ be a measure space. $(f_{t})_{t>0}$ be a family of square integrable functions. (i.e. for every $t>0$, $f_{t} \in L^{2}(S;m)$) and ...
2
votes
1answer
20 views

Dual of continuous functions in various topologies

Let $S$ be compact and Hausdorff and $C(S)$ be its space of continuous complex functions. When $C(S)$ is endowed with the $\sup$ norm, its dual is well known. Since this topology is too strong for my ...
0
votes
1answer
28 views

Reference for solving linear operator equations

I'm interested in solving an equation of the form $$ Ax = b $$ for some bounded linear operator $A: H_1 \mapsto H_2$ where $H_1, H_2$ are some Hilbert spaces. I've seen in this math.SE post in ...
1
vote
1answer
33 views

Continuous functional on the linear operator

Let $\Pi, \hat \Pi$ be two linear operators from $U$ to $V$. The norm-distance is defined as $$||\hat \Pi- \Pi||=\sup_{x\in U}\frac{||(\hat \Pi- \Pi)x||}{||x||}$$ Let us define a continuous bounded ...
0
votes
1answer
36 views

Topology on compactly supported smooth functions

I'm confused by a set of lecture notes I'm reading and would like help in understanding what's going on. First, there is the following nice theorem. Theorem. The topology of a locally convex space is ...
0
votes
1answer
22 views

The spectrum of a polynomial of an operator, question about proof, why are the operators invertible?

I have a question about a proof. In the proof $\sigma(T)$ is $\{\lambda \in\mathbb{C}: T-\lambda I\text{ is not invertible}\}$. In the proof they use this lemma: Here is the proof, my problem is ...
0
votes
1answer
19 views

Evaluating 'Constant' Term

suppose I have a pde $$u_{xt}(x,t)+u(x,t)u_{xx}(x,t)=h(t),\,\,\,\, x\in[0,\pi],\,\, t>0$$ for some unspecified function $h(t)$. This question is about finding what $h(t)$ is. Please, you may ...
4
votes
1answer
91 views

Generalized Fourier series in $L^2$ that do not converge pointwise a.e.

For a Hilbert space $L^2$ we have the notion of an orthonormal basis $\{f_j\}$ being a sequence of orthonormal elements such that any element $f$ in $L^2$ can be approximated by partial sums in terms ...
0
votes
1answer
32 views

Direct Sum: Stone

Problem Given Hilbert spaces $\mathcal{H}_\alpha$. Consider Hamiltonians: $$H_\alpha:\mathcal{D}H_\alpha\subseteq\mathcal{H}_\alpha\to\mathcal{H}_\alpha:\quad H_\alpha=H_\alpha^*$$ And their ...