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
1answer
17 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 ...
1
vote
0answers
8 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
7 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
8 views

Show $\lim_{n\to\infty}(Ku_n) = K(\lim_{n\to\infty} u_n)$

Suppose $\{un\}$ is a convergent sequence in hilbert space $H$ and $K$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Ku_n) = ...
0
votes
0answers
16 views

Convergence in normed linear spaces $\ell^p$ and $\ell^1$

I have gone through a proof that shows that if $(x_n)$ is a sequence in $\ell^p$ for $1<p<\infty$, and $x\in \ell^p$ such that $x_n(k)$ converges to $x(k)$ for each $k$ and $(x_n)$ is uniformly ...
1
vote
0answers
14 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
21 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
14 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
0answers
33 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
0answers
31 views

Is it Green formulation?

I have this expression: $$-\Delta_p v_n+|v_n|^{p-2}v_n-\theta_n |v_n|^{p^*-2}v_n\rightarrow 0 ~~\text{in}~~ (W^{1,p}_0(\Omega))'$$ It is sying that this expression imply that ...
1
vote
2answers
13 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
12 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
29 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} ...
0
votes
1answer
48 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
30 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
41 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
23 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
36 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
13 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
18 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
22 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
23 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
68 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 }, ...
2
votes
2answers
19 views

Convex cone of nonnegative functions in L2 has empty interior

Convex cone $S:=\{f\in L^2(\mathbb{R},\mu):f\geq 0\}$ has empty interior in $L^2(\mathbb{R},\mu)$ when $\mu$ is Lebesgue measure. I wanted to prove it but i have major holes in my knowledge of ...
4
votes
1answer
35 views

When can we exchange the trace and an integral/limit/derivative?

For a trace class operator $A$ (acting on a Hilbert space), that is parameterised by a real variable $x$, what are the conditions for the following to hold? $$ \mathrm{tr} \int_a^b A(x) \, dx = ...
0
votes
4answers
83 views

Is an non-invertable matrix an linear operator?

I am under the impression that any matrix can be called a linear operator, even if the matrix does not have an inverse. Is it true? There are many properties a linear operator enjoys; do all matrices ...
0
votes
0answers
15 views

Two-dimensional subespace suplementary of another one

Let E be a real normed space. All subespace S of codimension 1 (hyperplane) in E is either, closed or dense. What do say about a similar property when S is of codimension 2?
-1
votes
1answer
14 views

symetric closed operator and extension [on hold]

i have this question let A a symetric closed operator let pose that A have a self adjoint extension is possible that A has an extension such that closure A can't have a self adjoint extension
1
vote
1answer
20 views

Completely positive maps

Let $B$ be a commutative C$^*$-algebra and let $M_n$ denote the algebra of $n\times n$ complex matrices. Let $f$ be a state on the tensor product of $B$ and $M_n$, $B\otimes M_n$. How can I show that ...
3
votes
2answers
46 views

An infinite dimensional normed linear space is the union of two disjoint convex sets

Let $X$ be an infinite dimensional normed linear space. I want to show that there exist two disjoint convex sets $C_1$ and $C_2$ such that $X=C_1\cup C_2$ and both $C_1$ and $C_2$ are dense in $X$. I ...
1
vote
1answer
55 views

Lemma 3.5-3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: Is the set of non-zere Fourier co-efficients uncountable too?

Let $X$ be an inner product space, let $x \in X$ be non-zero, and let $M$ be an uncountable orthonormal subset of $X$. Then what can we say about the cardinality of the following set? $$ \{ \ v \in M ...
0
votes
0answers
30 views

a question on Frechet derivative

Suppose the derivative of a functional is given by $\int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi$ for $\phi\in W_0^{1,p}(\Omega)$, then what is the functional?.
0
votes
1answer
34 views

If $u \in H^1(0,\infty)$, does $u_x(\infty) = 0$?

Let $u \in H^1(0,\infty)$. Then is it true that $u'(x) \to 0$ as $x \to \infty$? I am wondering by Green's formula/IBP in this setting; do I get something like $$\int_0^\infty u_{xx}v = ...
0
votes
0answers
13 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
0
votes
1answer
29 views

Is $B_{\ell_1}$ weak-metrizable?

I know that for a Banach space $X$, the unit ball $B_{X}$ is weak metrizable if and only if $X^*$ is separable. My question is that Is $B_{\ell_1}$ weak-metrizable?
4
votes
1answer
43 views

Isolated Eigenvalue

What does it mean that an eigenvalue is "isolated"? My intuitive understanding says it is when one can find an open ball around it such that there is no other eigenvalue in that open ball. However, I ...
4
votes
1answer
41 views

Intuition of weak star convergence.

Given $\Omega=(0,1)$, consider the following sequence $$ v_j(x)\colon=\begin{cases} \;a &\text{if }jx-\lfloor jx \rfloor\le\theta\\ \;b &\text{otherwise} \end{cases} $$ where ...