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)

0
votes
0answers
8 views

Concept of distance/norm in Abelian category

I am trying to understand the concept of category and question is extension to the following link. Is the linear operators must be invertible to from a category? When we discuss linear space, norm ...
0
votes
0answers
20 views

Is the linear operators must be invertible to from a category?

I am trying to understand the concept of category in mathematics. For example the following link talks about category $Lin$ which is an Abelian category. ...
0
votes
1answer
28 views

$L^1([0, 1]) \subset C([0, 1])^*$

Basically my question is: how can I prove that $L^1([0, 1]) \subset C([0, 1])^*$, where $C([0, 1])$ represents all continuous functions on $[0, 1]$, and the superscript $^*$ means the dual space. ...
2
votes
0answers
16 views

An extension of Kato's Selection Theorem?

One formulation of the well-known Kato Selection Theorem states that, given an analytic family of $n \times n$ complex, symmetric matrices $M(t)$, one can choose an orthonormal basis $\{e_i(t)\}_{i = ...
1
vote
0answers
18 views

Trigonometric polynomial

Let $f \in L^2$ be compactly supported, then I want to show that $$g(\xi):=\sum_{n \in \mathbb{Z}}|\hat{f}(\xi+2\pi n)|^2 = a_0 + 2 \sum_{n=1}^{N}c_n \cos(2\pi n \xi) $$ for some $N \in \mathbb{N}.$ ...
1
vote
0answers
26 views

Fourier transform exercise

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
-2
votes
0answers
19 views

Example of projection sequence on Hilbert space with strong limit P

Let $P_n$ be a sequence of projections on a Hilbert space $H$ with strong limit $P$. Suppose that $P_n(H)$ is infinite dimensional. Show that $P(H)$ may be finite dimensional.
3
votes
0answers
34 views

Folland, “Real Analysis”, Chapter 5.3, Exercise 36.

Folland, "Real Analysis", Chapter 5.3, Exercise 36: Let $\mathcal{X}$ be a separable Banach space and let $\mu$ be counting measure on $\mathbf{N}$. Suppose that $\left\{x_n\right\}_1^\infty$ ...
0
votes
0answers
17 views

Example of bounded sequence in a space but not convergent in an other space

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_1=\{ u~\text{measurable}, \int_{\Omega} (|x| u(x)|)^{p^*} dx<\infty\}$$ equiped with ...
0
votes
1answer
29 views

Invertible , bounded linear operator on a Hilbert space

Suppose we have an invertible, bounded linear operator $K$ on a Hilbert space $H$. Is there a constant $c \in \mathbb{R}_+$ such that $$ ||Ku|| \geq c||u|| $$ for all $u \in H$ ?
2
votes
0answers
23 views

Prove that disk algebra is isomorphic to the closure of $\mathbb{C}(z)$ in $C(\mathbb{T})$.

Let $D = \{ z \in \mathbb{C} : |z| < 1 \}$ be the open unit disk and $\mathbb{T} = \{ z \in \mathbb{C} : |z| = 1 \}$ its boundary. We will naturally write $\bar{D}$ for its closure $\{ z \in ...
0
votes
1answer
16 views

Prove that Euler's equation can be written in a specific form

According to my notes, the following theorem holds: If $y$ is a local extremum for the functional $J(y)= \int_a^b L(x,y,y') dx$ with $y \in C^2([a,b]), \ y(a)=y_0, \ y(b)=y_1$ then the extremum $y$ ...
-1
votes
0answers
15 views

Prob. 8, Sec. 3.2 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS [on hold]

if $\|x+ \alpha y\|\ge \|x\|$ for all $\alpha$, then show that $x$ and $y$ are perpendicular. If you could explain this I shall be thankful....
4
votes
0answers
28 views

Spectral theorem for a pair of commuting operators

Let $H$ be Hilbert space and $A$, $B$ - self-adjoint (bounded or unbounded) operators on $H$. According to spectral theorem for every bounded Borel function $f: \mathbb{R}\to \mathbb{R}$ we have ...
0
votes
0answers
16 views

Why $q(]-1,1[)=B(q,0,1)$.

Let $(X,\mathcal T)$ a topologique space defined by $\Gamma$ a set of semi norm. Prove that if $q:X\to \mathbb R$ is a continuous semi norm, then $$\exists p\in\Gamma_f,\exists \alpha>0:q\leq ...
2
votes
1answer
18 views

Fourier transform of $L^1$ function square summable?

It is known that for a $L^1$ function $f: \mathbb{R} \rightarrow \mathbb{C}$ the Fourier transform vanishes at infinity and is continuous. Does this even mean that $(\hat{f}(n))_{n \in \mathbb{Z}}$ is ...
1
vote
1answer
25 views

Problem with the Definition of contractible set

I have this definition of contractible set: we say that $A\subset X$ is contractible in $X$ if there exists a continuous function $\eta:[0,1]\times A\rightarrow X$ such that $\eta(0,x)=x, \forall ...
2
votes
0answers
10 views

The relation between the (algebraic) dimensions of a normed linear space and its dual.

What is the relation between the (algebraic) dimensions of a normed linear space and its dual, for example can we say $\dim X \leq \dim X^*$, for a normed linear space $X$?
1
vote
0answers
9 views

Unitary operator with absolutely continuous spectrum

I have a unitary operator $U_0$ acting on $H := L^2(\mathbb{T}=[-\pi,\pi]; \mathbb{C})$, denote its spectral family by $\{ E_0(\cdot) \}$. Moreover, the spectrum of $U_0$ is purely absolutely ...
0
votes
0answers
27 views

Show $\lim_{n\to\infty}(Lu_n) = L(\lim_{n\to\infty} u_n)$

Suppose $\{u_n\}$ is a convergent sequence in Hilbert space $H$ and $L$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Lu_n) = ...
1
vote
0answers
19 views

Find eigenfunctions of the integral operator with kernel $\sum\limits_{n=1}^\infty \frac{1}{n^2} \sin((n+1)x)\sin(ny)$

Find the eigenvalue and eigenfunctions of the integral operator $Ku=\int_0^\pi k(x,y)u(y)dy$. $k( x,y) = \sum\limits_{n=1}^\infty \frac{1}{n^2} \sin\big((n+1)x\big)\sin(ny)$. This is how I ...
0
votes
1answer
22 views

Orthogonal set of a set in Hilbert space

This is an exercise in the Folland Real Analysis p.177. I first thought it is an easy one, but it turns out to be a lot trickier..... I have no idea how to deal with the so-called "double ...
0
votes
0answers
17 views

Is it possible to modify norm of Sobolev space suitable for ill-posed problems.

I have trying to pose my problem mathematically for quite some time now. I am not sure even if I am close to defining properly. Would anyone please help: I am interested to study ill-posed problem of ...
1
vote
1answer
36 views

Countable set in a Banach space which spans densely?

Let $\mathcal{C}(\mathbf{T})$ be the algebra of continuous complex functions on the unit circle $\mathbf{T}$. Consider the following two statements: The $*$-subalgebra generated by $1$ and $z$ spans ...
-2
votes
0answers
14 views

functional analysis. Riesz system. [on hold]

I have the following problem: "a) Let $H$ --- Hilbert space, $T : H \to H $ --- unitary operator. For the vector $x_0 \in H$, we assume that $x_j := T^j x_0, j = 0,-1,+ 1,-2,+2 ... $ suppose that ...
0
votes
0answers
25 views

Is there any relation Trace and Boundary?

I understand the trace is sum of diagonal elements of a matrix. Further the boundary I always perceive as a 'end points' of bounded domain. However on the link below: ...
1
vote
2answers
15 views

Does $a_n \in H^1(\mathbb R^n)$ and $b_n \rightharpoonup 0$ in $H^1(\mathbb R^n)$ imply $\langle a_n, b_n \rangle \to 0$?

I have a question mainly in functional analysis. Suppose that $H^1(\mathbb R^n)$ is the standard Sobolev space that we all know. My question is as follows: Does $a_n \in H^1(\mathbb R^n)$, $|a_n| ...
0
votes
0answers
13 views

unique inner product on a tensor product of Hilbert $C^*$ modules and Hilbert spaces.

For a $C^*-$ algebra $A$ and a Hilbert space $H$ and a Hilbert $A-$module E; how can we show that there is a unique $A-$ valued inner product on $H \otimes E$ as $< h_1 \otimes x_1 , h_2 \otimes ...
2
votes
1answer
41 views

Proving identity of a $C_0$ semigroup

We have a strongly continuous semigroup $\{T(t)\}_{t\ge 0}$ on a Banach space X with a generator $ A:D(A)\subset X\to X$. I need to show that $\displaystyle T(t)x = \sum\limits_{n=0}^{\infty} ...
-1
votes
1answer
59 views

State of a $ C^{*} $-algebra.

Let $ (\pi,\mathcal{H}) $ be a non-degenerate $ * $-representation of a $ C^{*} $-algebra $ A $, and let $ h \in \mathcal{H} $ with $ \| h \| = 1 $. Define $ f_{h}: A \to \Bbb{C} $ by $ {f_{h}}(a) ...
0
votes
1answer
31 views

What does this notation mean? Functional Analysis

I am studying analysis at the moment and came across this notation and I would like to know what it really means: $$C_{c}^{\infty}(\Omega)$$ My understanding so far is that,this is the space of ...
0
votes
1answer
43 views

Why does the functional have a local minimum at $0$?

Definition: Let $J: A \to \mathbb{R}$ be a functional , where $A \subset V$ and $(V, ||\cdot||)$ a linear space with norm. Let $y_0 \in A$ and $h \in V$ such that $y_0+ \epsilon h \in A $ for ...
0
votes
0answers
15 views

Finding zeros of a function involving Gamma function.

I am looking for the zeros of following function ($a$ and $b$ are real): $$ F(a,b) = 4^{a+ib} \Gamma(a+ib) \Gamma(-a) \Gamma(-ib) + \Gamma(-a-ib) \Gamma(ib)\Gamma(a) $$ and I have no idea on ...
0
votes
0answers
8 views

Application of Polish Space and Lebesgue measurable.

I understand Polish space is useful for non-Lebesgue measurable set but is it also applicable for Lebesgue measurable set?
1
vote
1answer
24 views

Every nontrivial linear functional is open

Let $X$ be a normed linear space and let $f:X\to \mathbb K$ be a nontrivial linear functional. I want to prove that $f$ is open. I tried as follows: Let $E$ be an open set in $X$ and let $y\in f(E)$. ...
0
votes
0answers
37 views

Derivation of perturbation series

I'm a little bit confused about the derivation of the perturbation series. I know from my quantum mechanics course that for a perturbed operator, eigenvalue is a series that is depend on the ...
3
votes
1answer
28 views

Reducing a double ultrapower to a single ultrapower

I hate having to ask this question, as I know for a fact I have seen the answer before but cannot seem to find it. So I'm breaking down and asking for a reference. Given a structure, let's say a ...
0
votes
0answers
14 views

Relation between Ill-posed problem and eigenvectors?

This question is related to the question below: Is there a relation between Ill-posed problems and Eigenvectors. In the answer of the above question, it was shown that the ill-posed problem can be ...
0
votes
0answers
20 views

solution uniqueness of non-linear Fredholm equations

the equation is $F(x)=G(\int k(x,y)f(y)dy)$ $(*)$ where $f(x)=dF(x)/dx$ is the unknown and it's required to be non-negative. With integral by parts we'll have the form of a non-linear Fredholm ...
4
votes
1answer
24 views

Unit ball separable $\Longrightarrow$ Space separable

Given a normed space $X$ and assume it is also a locally convex space in some other topology (e.g. weak or weak* if it's a dual). Assume that the unit ball $B_X$ is separable in this topology. Is it ...
0
votes
1answer
13 views

Is there any relation ill-posed problem and not Normal matrix?

I am trying to understand different aspect associated with ill-posed problem. Can we claim that an ill-posed problem $Ax=b$ means that the matrix $A$ is not normal? Further, can we claim that if $A$ ...
0
votes
0answers
23 views

Seminar concearning Spectral Theory of Differential Operators?

I must prepare a seminar about spectral theory of linear partial differential operators. However, I'm at a loss as to a nice reference. I'm looking for something that fits in a graduate spectral ...
1
vote
1answer
25 views

Is it necessary to use the Hahn-Banach theorem to show that $(X/M)^*\simeq M^\perp$?

Let $X$ be a Banach space with dual space $X^*$, and let $M$ be a closed subspace of $X$. Then $M^\perp=\{x^*\in X^*: x*(m)=0 \text{ for all } m\in M\}$ is a closed subspace in $X^*$. I read the ...
1
vote
1answer
29 views

The multiplication of a smooth function and a distribution

Let $f$ be a smooth function on $\mathbb{R}$ and let $g$ be a distribution. Then $f\cdot g$ is a well defined distribution. Suppose $$ f\cdot g=\delta_0, $$ where $\delta_0$ is a dirac function. ...
0
votes
1answer
16 views

Injective linear endomorphism of hilbert space is bijective?

Is it true that an injective continuous endomorphism of a hilbert space is bijective? If not, are there conditions that imply this? I know this would follow from the rank nullity theorem in finite ...
0
votes
0answers
26 views

limit problem-equation

H, I have this problem $$c^2 U''(x)=F(x),\quad U(0)=A,\quad U(\ell)=B$$ $F$ is done, and $0 < x < \ell$ I read that we must found that $$U(x) = A + (B-A)\frac{x}{\ell} + \dfrac{x}{\ell} ...
1
vote
1answer
28 views

A Banach space in between $L^{1}$ and $L^{2}$, does it make sense?

Let $L^{p} (A, B)$ be a collection of functions $f:A \mapsto B$ satisfying $$(\|f\|_{p})^{p} := \int_{A} |f(x)|^{p} dx <\infty.$$ Now we consider functions $f:[0,1]^{2} \mapsto [0,1]$. We say ...
1
vote
0answers
32 views

$L^2$-Sobolev space

I am looking at the proof of the following lemma and I don't understand the conclusion. Lemma: For $k\geq 0$ integer, let $f=\sum_{n\in \mathbb{Z^d}}{c_n\chi_n}\in L^2(\mathbb{T}^d)$. Then $$f\in ...
4
votes
2answers
70 views

Non-compactness of the resolvent

Consider a complete non-compact Riemannian manifold $M$ and the resolvent of the Laplacian $(-\Delta + \lambda I)^{-1}$. It is known that the resolvent is in general not a compact operator. I am ...
2
votes
1answer
35 views

Borel regular measure: Approximate any measureable set by compact sets

Let $(K,\mathcal{F},\mu)$ be a measure space. Let $K$ be a compact Hausdorff space and $\mu$ be a regular finite measure. We said that it is regular if $\mu(A) = \inf\{\mu(B): B \text{ open }, ...