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)

2
votes
0answers
48 views

Confusion about domains in PDE and “every $C^k$ manifold can be thought of as a smooth manifold”

I have read that every $C^k$ domain can be described instead by $C^\infty$ chart maps. So in this sense every $C^k$ domain is a $C^\infty$ domain. But consider standard PDE where people say thing like ...
1
vote
0answers
50 views

Newton method for maps between Banach spaces

I am trying to understand the following theorem, which can be found in Kolmogorov and Fomin's (p. 509 here): Let map $F$ [$:X\to Y$ where $X,Y$ are Banach spaces] be strongly differentiable in a ...
0
votes
1answer
145 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.7, Problem 6

Suppose that $X$ and $Y$ are two normed spaces over the same field ($\mathbb{R}$ or $\mathbb{C}$). Show that the range of a bounded linear operator $T \colon X \to Y$ need not be closed in $Y$. ...
0
votes
0answers
16 views

Functional derivative of $\int f_{X,Y}(x,y)e^{-f_{Y|X}(y|x)} dx$ with respect to $f_X(x)$

What is functional derivative of \begin{align*} \int f_{X,Y}(x,y)e^{-f_{Y|X}(y|x)} dx \end{align*} with respect to $f_X(x)$. Here $f_{X,Y}(x,y)$ is joint probability density of r.v. $(Y,X)$ and ...
7
votes
0answers
201 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
1
vote
0answers
51 views

Can a Local Fractional Differential Operator exist?

Let $f: \mathbb{R} \rightarrow \mathbb{R}$. The derivative of $f$ is defined pointwise, and we say that $f$ is differentiable if the derivative exists in each point. Higher order derivatives are ...
1
vote
1answer
57 views

If the dual unit ball of a normed space $X$ is metrizable in the weak-$*$ topology then $X$ is separable

Let $X$ be a normed space and $(B_{X^*},w^*)$ be the unit ball of the dual space $X^*$ endowed with the weak-$*$ topology. Here is a proof a the fact that if $(B_{X^*},w^*)$ is metrizable then $X$ is ...
0
votes
1answer
41 views

Dynamics: Schwinger-Dyson-Expansion

Given a C*-algebra $\mathcal{A}$ Consider a free generator $\delta_0:\mathcal{D}_0\to\mathcal{A}$ with $\overline{\mathcal{D}_0}=\mathcal{A}$. Introduce a perturbation ...
0
votes
1answer
40 views

Schwartz space on $\mathbb T^{n}$

For the definition of Schwartz space space on $\mathbb R^{n},$ see this. My Questions: (1)Is it make sense to talk of Schwartz space on torus $\mathbb T^{n}$ ? If yes, what can be the analogous ...
0
votes
1answer
26 views

Lower bound for the norm of the resolvent

I need to prove next statement (I want to do it for general case) $\|R_A(z)\| = \lVert \frac{1}{A-zI} \rVert \ge \text{dist}(z,\sigma(A))^{-1}$ I think it could be like this let $a\in \sigma(A) z ...
5
votes
0answers
70 views

Conditions for Taylor formula

I know that, if $F:X\to Y$, where $X,Y$ are Banach spaces, is a map whose $n$-th Fréchet derivative $x\mapsto F^{(n)}(x)$ is continuous as a function of $x$ in a neighbourhood of $x_0\in X$, then the ...
0
votes
1answer
30 views

$\phi(A^+) \subset B^+$ when $\phi: A\to B$ is an isometric linear map

Let $\phi: A\to B$ be an isometric linear map between unital C*-algebras $A$ and $B$ such that $\phi(a^*)=\phi(a)^* (a\in A)$ and $\phi(1)=1$. Show that $\phi(A^+) \subset B^+$. Clearly $A^+ = \{a^*a ...
1
vote
1answer
81 views

Hilbert space and Parallelogram law

Let $ C_\infty$ be inner product space of all real sequences $\{x_n\}$ with $x_n$ finite number of nonzero terms and the inner product defined by $$\langle x,y\rangle =\sum_{i=0}^\infty x_ny_n$$ I ...
2
votes
0answers
43 views

Spaces of the derivative in a direction

I have two question regarding the spaces where the first, and second, directional derivatives of a functional are. Let $\Omega \in \mathbb{R}^2$ an open subset. Let the functional: $$\phi =L^p ...
1
vote
1answer
43 views

nonempty open set in normed space is connected iff each pair of points of the set can be joined by a polygon that lies wholly in the set

Let $E$ be a normed vector space. Let $x_1, \dots, x_m$ be points of $E$. Let $f(t) = (k-t)x_k + (t - k + 1) x_{k+1}$ for $k-1 \le t \le k$, $k = 1, 2, \dots, m-1$. The set $\{f(t)\text{ }|\text{ }0 ...
3
votes
1answer
40 views

Norm of an operator and eigenvalues

I have $K\colon L^2(0,T) \to L^2(0,T)$ a Hilbert-Schmidt integral operator (and so $K$ is linear, bounded, compact and self-adjoint) and I have obtained its eigenvalues and eigenvectors. From them, I ...
0
votes
2answers
34 views

Definition of $L^2[-\pi,\pi]$ norm.

What is the definition of $$\|f(x)\|_{L^2[-\pi,\pi]}\,?$$ $$\frac{1}{2\pi}\int_{-\pi}^\pi f^2(x)\,dx$$ or $$\sqrt{\frac{1}{2\pi}\int_{-\pi}^\pi f^2(x)\,dx}\,?$$
4
votes
0answers
117 views

Relationship between functional analysis and differential geometry

I am taking courses on functional analysis (through Coursera.com) and differential geometry (textbook author : O'neil) on my university. I made the following table on my own. Are the similar ...
2
votes
0answers
51 views

Subalgebras of $C_b(X)$ whose elements do not vanish simultaneously at any point

Let $X$ be a completely regular space. How can I find all Banach subalgebras of $C_b(X)$ (all complex-valued bounded continuous functions on $X$) with the property that for every $x\in X$ there ...
6
votes
2answers
81 views

Are the polynomial functions on $S^1$ dense in $C(S^1,ℂ)$?

A friend of mine came up with this problem: Let $S^1$ be the unit circle in $ℂ$ and $P$ the space of polynomial functions $S^1 → ℂ$ (with complex coefficients). Is $P$ dense in $C(S^1,ℂ)$? ...
0
votes
0answers
29 views

Analyze the variation of $f(x)=(1+\frac{1}{x})^{-K}$ $_2F_1((K-1)a,K,Ka,\frac{1}{1+x})$ w.r.t. $x$

Is there any way to analyze the variation(w.r.t. $x$) of the following function: $f(x)=(1+\frac{1}{x})^{-K}$$ _2F_1((K-1)a,K,Ka,\frac{1}{1+x})$, where $ _2F_1$ is the Gauss' Hypergeometric Function, ...
0
votes
0answers
16 views

Is any quasinormal operator hyponormal?

Is a quasinormal operator hyponormal? In the other words, if $A:H\to H$ is a bounded linear operator such that $A(A^*A)=(A^*A)A $ can we conclude $A^*A\geq AA^*$?
1
vote
0answers
31 views

Spectral Measures: Completeness

Given a Borel space $\Omega$ and a Hilbert space $\mathcal{H}$. Consider a spectral measure $E:\mathcal{B}(\Omega)\to\mathcal{B}(\mathcal{H})$. A spectral measure can be completed $\overline{E}$. ...
2
votes
1answer
52 views

Weak Convergence for a specific example

Let $X=(0,1)$ and $u_v(x) = v^{1/p}1_{(0,1/v)}$, where $1 < p < \infty$. It needs to be shown that $\lim_{v \to \infty} \int_X u_v \phi = 0$ for all $\phi \in \mathcal{L}^{p^\prime}$ (The ...
2
votes
1answer
31 views

Show that hermitian element $h=\sum p_n/3^n$ generates $ C_0(\Omega)$

Let $\Omega$ be a locally compact Hausdorff space, and suppose that the C*-algebra $C_0(\Omega)$ is generated by a sequence of projections $(p_n)_{n=1}^{\infty}$. Show that the hermitian element ...
3
votes
2answers
130 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.6, Problem 11

Let $X$ be the vector space of all complex $n \times n$ matrices and define $T \colon X \to X$ by $Tx \colon= bx$, where $b \in X$ is fixed and $bx$ denotes the usual product of matrices. I know that ...
2
votes
1answer
40 views

The derivative of a $L^ {\infty}$ function

If I take the derivative of a function in $L^ {\infty}$ (that is, the function is bounded by a number) in any direction, in which space the derivative is defined? Are there some properties for ...
3
votes
1answer
68 views

Spectra of periodic Schrödinger equations

This question might be a little bit physics-related, but I kind of have a deep interest to ask this here, cause I would like to get an idea of the Mathematics behind the things I just covered in my ...
3
votes
2answers
41 views

Norm of linear transformation: why restrict ourselves to $\|x\|\leq 1$?

If $f$ is linear transformation from a normed linear space $X$ into a normed linear space $Y$, and define its norm by $$\|f\|=\sup\{\|f(x)\|: x\in X, \ \|x\|\leq 1\}$$ My question is: why restrict ...
1
vote
1answer
60 views

Self-adjointness

In another thread it was claimed that the operator $O : \operatorname{dom}(O) \subset L^2(-1,1) \rightarrow L^2(-1,1)$ is self-adjoint. $$Of(x)= \frac{f(x)}{{1-x^2}}$$ It is obvious that $$\langle O ...
3
votes
2answers
110 views

Difference between an eigenvalue and a spectral value

What is the difference in the definition of a spectral value and an eigenvalue. My notes from functional analysis says $\lambda$ is an eigenvalue of an operator $A$ if $\,\exists \, x \in ...
0
votes
1answer
34 views

If $f \in L_2(a,b)$, then $\int_a^x f(y) dy \in L_2(a,b)$?

If $f \in L_2(a,b)$, then I want to show that the antiderivative $$ F(x) := \int_a^x f(y) d y $$ is in $L_2$ (I guess this is true). If $L_2(a,b)$ would be closed under pointwise product, i.e. if ...
1
vote
2answers
44 views

Preserve self-adjoint properties

I was thinking about this problem recently: Let $T$ be a self-adjoint operator on $L^2((-1,1),d x)$. Now you define an operator $G$ by $G(f) := T(\frac{f}{(1-x^2)})$ with $\operatorname{dom}(G):=\{f ...
1
vote
1answer
55 views

How to show that the operator $T(\{x_n\})=\{n x_n\}$ has closed graph?

Consider the subspace $$D=\left\{x\in \ell^2 \ \big|\ \sum_{n\in\mathbb N} n^2 |x_n|^2<\infty\right\}$$ of $\ell^2$, and let $T:D\to\ell^2$ be defined by $T(\{x_n\})=\{n x_n\}$. I need ...
0
votes
0answers
28 views

Definition of well-defined for special case

I have a question about what well-defined means in a certain case. For an operator from $X$ to its dual $X^{*}$, say $A:X \rightarrow X^{*}$,why does the definition of $A$ being "well−defined" seem ...
1
vote
1answer
43 views

Fréchet derivatives of $\sum_{n=1}^\infty x_n^2/n^3 -\sum_{n=1}^\infty x_n^4$

I read that the second order Fréchet derivative $F''(0)$ of linear functional $F:\ell_2\to\ell_2$, where $\ell_2$ is the separable real Hilbert space, defined by ...
0
votes
1answer
24 views

The orthogonal operator onto $ran(T)$

I have read that the least square solution for the operator in Hilbert space is given by $$T^*Tx=T^*y$$ where $T$ is the operator $T: X\rightarrow Y$, and $T^*$ is the adjoint operator. Obviously, ...
0
votes
0answers
14 views

Problem of Closed linear transformation in Normed spaces [duplicate]

Let $X$ a normed space and let $A$ and $B$ be linear transformations such that $$X\subset D_A\rightarrow^{A} X \ \ \text{and} \ \ X\subset D_B\rightarrow^{B} X.$$ If $A$ and $B$ are closed, does it ...
1
vote
1answer
60 views

Extreme point of unit balls, over $\mathbb C$

I've been trying to determine what are the extreme point of the unit balls of $\ell^1$ and $\mathcal{C}[0,1]$. I think that I cracked the real case (I got for $\ell^1$: $\{e_n\}_{n\in \mathbb ...
1
vote
0answers
45 views

Definition of nonlinear bounded operator

Hi I am interested in confirming the definition of a bounded operator for a nonlinear operator. Let $X,Y$ be normed spaces. It is well known that a linear operator between $T:X \rightarrow Y$ is ...
1
vote
1answer
50 views

Application of Weierstrass' theorem

Consider $f \in C^1[0,1]$ where $C^1[0,1]$ is the space of functions of class $C^1$ on $[0,1]$ furnished with the norm $\|f\| = \|f \|_\infty + \| f' \|_\infty$. Prove that for $\epsilon > 0$, ...
1
vote
1answer
42 views

Holomorphic Functional Calculus vs Borel Functional Calculus

I am currently learning about different kinds of functional calculus and I was wondering if I could get something cleared up. The first type of functional calculus we learned about was holomorphic ...
1
vote
0answers
39 views

Extreme point of unit balls, the complex case [duplicate]

I've been trying to determine what are the extreme point of the unit balls of $\ell^1$ and $C[0,1]$. I think that I cracked the real case (I got for $\ell^1$: $\{e_n\}_{n\in \mathbb ...
1
vote
1answer
187 views

Definitions for L2 and Lp Spaces?

I am taking a course in Functional Analysis online, and unfortunately some important terms have not been well defined. In particular, isn't L2 space just Lp space with p=2 ? If so, why aren't ...
1
vote
2answers
97 views

How to prove that trigonometric functions form a Chebyshev system?

How can be proven that $$\{ \operatorname{cos}(kx)\}_{k = 0}^n \text{ and } \{ \operatorname{sin}(kx)\}_{k = 1}^n$$ are Chebyshev systems in the interval $(0, \pi)$? Any ideas will be appreciated. ...
2
votes
1answer
104 views

Book suggestion to prepare the grounds for studying functional Analysis

Hi guys I have 2 month semester break in February and March and I am planning to take a course on functional analysis in 4 months. I have taken a very elementary course on Linear Algebra(Gilbert ...
0
votes
0answers
24 views

$A,B$ with $A\subseteq \mathcal{P}(B)$ and $B\subseteq\mathcal{P}(A)$

Given a measurable space $S$, denote by $\mathcal P (S)$ the set of all probability measures over $S$. Do two spaces $A$ and $B$ exist, such that $A\subseteq \mathcal{P}(B)$ and ...
1
vote
0answers
103 views

Derivative of norm in Hilbert space

I read (p. 485 here) that the Fréchet derivative of norm (non-linear) functional $p:H\to\mathbb{R}$, $x\mapsto\|x\|$ is $\frac{x}{\|x\|}$ for all $x\ne 0$, which I think to be intended as the linear ...
0
votes
1answer
45 views

Bump function on set

Given an arbitrary compact set $K \subset \mathbb{R}^n$ and an open set $V \subset \mathbb{R}^n$, I want to construct a bump function $\zeta$ that is $1$ on $K$ and has its support in $V$, where I ...
1
vote
1answer
42 views

How to prove that operators are isometry on $\ell^p$/$c$?

Lately I've been studying Banach spaces and isometries, and encountered many explicit isometrys involving $c$, $c_0$, $c^*$, $c_o^*$, $\ell^1$, $\ell^\infty$, etc. (Here $c\subset\ell^\infty$ is the ...