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
38 views

Question about a theorem from Chang's book: Methods in Nonlinear analysis

I have this this theorem from Chang's book: Methods in Nonlinear analysis, with it's proof, but i don't understand it, for example what it means $K(f_{\sigma_i})$ ? Please help me thank you
2
votes
1answer
12 views

Definition of $H^{-1}$ space in Evans' PDE book

Let $U$ be an open, bounded subset of $R^n.$ Evans' well known PDE book defines the spaces: -$H_0^1(U)$:= $\{f\in H^1(U): \text{there exists a sequence} \; \phi_n \to f \; \text{in the} \; H^1(U) ...
1
vote
0answers
33 views

A proof for Jensen’s inequality

I’m trying to prove a version of Jensen’s inequality, but I end up with the wrong result. I’d appreciate any help or comments. The theorem states: let $\varphi :{{R}^{k}}\to R$ be convex. Then for ...
1
vote
1answer
43 views

The vector space of absolutely continuous functions on $[0,1]$ endowed with a special norm, then the space is complete.

The vector space of absolutely continuous functions $V$ on $[0,1]$ endowed with a special norm $||\cdot ||$ as $||f||=\int_0^1 |f(t)|dt +\int_0^1 |f'(t)dt|=||f||_1+||f'||_1, \quad f\in V$. Then the ...
1
vote
1answer
33 views

Norm of the multiplication operator $f\mapsto (x\mapsto xf(x))$ on $L^2[a,b]$ [duplicate]

We have a linear operator $T : L^2[a,b] \rightarrow L^2[a,b]$ (with $|a| \le |b|$), $f \mapsto (x \mapsto xf(x))$ Now I shall determine what $\Vert T\Vert$ is. We clearly have $\Vert x \mapsto ...
0
votes
2answers
34 views

Continuous functions on compact Hausdorff space.

There is a well known theorem that says that if $X$ is a compact Hausdorff space, then the space $C(X)$ of the continuous functions on $X$ is a complete Banach space with the sup norm. It's clear why ...
3
votes
0answers
27 views

Every Cauchy net is convergent [duplicate]

Prove that in a Banach space every Cauchy net is convergent. I have trouble to prove this, please help.Thanks Edit:Let $A$ be a directed set and $\{f_{\alpha}\}_{\alpha\in A}$ is a net in $X$ ...
2
votes
2answers
46 views

Definition of bounded set in a topological vector space

What is the motivation behind the definition of bounded set in a topological vector space? The definition is different from the boundedness definition in metric space. Why is it not simply defined as ...
1
vote
0answers
24 views

On characterization of Riesz homomorphisms on $C(X)$ space

How to prove the following: Let $K$ be an arbitrary topological space and $\pi: C(K)\to\mathbb R$ be a map with $\pi (1) = 1$. If $\pi$ is a algebra homomorphism then it is an Riesz homomorphism.
5
votes
1answer
53 views

Existence of integral equation solution

I am trying to prove a differentiable solution in some open interval about the origin for the equation: $$u(x) + u(x)^2 + \int_0^x (1+\cos(x+u(y))) dy = 0$$ I have been trying to prove it as a ...
3
votes
0answers
47 views

A possible Corollary of the Fredholm alternative?

Let $H$ be a Hilbert space, $P : H \rightarrow H$ a positive-definite (bounded) operator and $K : H \rightarrow H$ a compact (not necessarily self-adjoint) operator. Let $T = P + K$. In particular, ...
4
votes
3answers
115 views

Kernel of the Laplacian on a compact manifold

Is there a way to characterise the kernel of the Laplace-Beltrami operator on a compact manifold without boundary? Or is it just "the set of functions $u$ such that $-\Delta u = 0$?"
0
votes
1answer
15 views

Definitions of hemicontinuity

can anyone see the equivalence or relation between the following two definitions of hemicontinuity that I encountered: Assume that $K$ is a closed, convex subset of Banach space $X$. Let $X^{*}$ be ...
1
vote
1answer
28 views

Prove that a linear and continuous operator admits inverse in Hilbert space

Let $(H,(\cdot,\cdot))$ an Hilbert space and $A:H\rightarrow H$ a linear and continuous operator such that there exists $\alpha >0$ such that $$(Au,u)\geq \alpha \|u\|^2 \text{ for each } u\in H.$$ ...
2
votes
1answer
52 views

Showing a certain operator on a set of holomorphic functions attains its supremum

Let $G \subseteq \mathbb{C}$ be open and connected, and fix $a_1, a_2 \in G$. Let $\mathcal{F} := \{f: G \rightarrow \mathbb{C}: f$ is holomorphic and $|f(z)| \leq 1 \}$. Define $\Phi: ...
0
votes
0answers
19 views

Baillon theorem in fixed point theory

Baillon proved that if $X$ is a Banach space with $\rho'_X(0)<\frac{1}{2}$, then $X$ has the fixed point property (by $\rho_X(t)$ we denote the modulus of smoothness). My questions are as ...
0
votes
0answers
32 views

Parabolic PDEs and Gradient Systems

Apologize in advance for the length of this question, I need some help in clearing some things up that I haven't quite got my head around yet. It seems to be easy to find things out about finite ...
1
vote
1answer
25 views

Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
1
vote
1answer
34 views

Proof of compactness for sets of norm equal to one in finite-dimensional normed vector spaces

The proposition I have been trying to prove is that the set $A=\{x\in E:N(x)=1\}$ is a compact subset of the (real) finite-dimensional vector space $E$ for any norm $N:E\to \mathbb{R}$. I am reading ...
1
vote
1answer
20 views

Problem involving pseudomonotone mappings on Banach space

I have the following question regarding mappings on a Banach space $X$. If anyone has an idea or hint as to how to resolve this question it would appreciated. Let $X$ be a Banach space, $X^{*}$ its ...
1
vote
1answer
24 views

$R\mbox{ is a right multiplier and }R(a)b=a\overset{?}{\implies} A\mbox{ is unital }$

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
0
votes
0answers
15 views

Heat semigroup on Morrey spaces

I have a few questions concerning the heat semigroup $e^{\Delta t}$ on Morrey spaces. (1) I read that the heat semigroup on $ M^{p}_{q}(\mathbb{R}^n):= \left\{ f \in L^{q}_{loc}(\mathbb{R}^n): ...
0
votes
2answers
50 views

concept of local base at a point of a topological vector space

I don't understand the concept of local base at a point of a topological vector space. What is the meaning the requirement that any neighbourhood of a point contains some collection from the local ...
0
votes
0answers
100 views

Why is it hold for types of operators?

We ‎let ‎the ‎state ‎space ‎be‎ ‏‎‎‎$ \mathcal{H} =‎ ‎‎H_{E}^{2}(0 , 1) \times L^2(0 , 1) $‎ equipped with the norm ‎ \begin{align} \| (f , g) \| = \int_{0}^{1} [ |f''(x)|^2 + |g(x)|^2] ‎\mathrm{d}x‎ ...
-1
votes
0answers
49 views

Inseparable Hilbert space and uncountable orthonormal basis construction

I need help with exercise 13 from Methods of Modern Mathematical Physics I by Simon and Reed, chapter 2. Using direct sums, construct an inseparable Hilbert space and an uncountable orthonormal ...
2
votes
2answers
42 views

Banach Space: Open Unit Ball Totally Bounded?

Just to be sure: In an infinite dimensional Banach space the open unit ball cannot be totally bounded, right? The context is that I need this in order to find a lack in here...
3
votes
1answer
81 views

Questions on Fubini's Theorem and $\sigma$-finite measure?

I asked a question about this a several days ago, but I think I have a better formulated question now. The reason I did not just edit the last question about this is that I feel the answers I got ...
6
votes
1answer
125 views

Radon-Riesz & Kadec-Klee

Let us say that a normed vector space has the a) RR (Radon-Riesz) property if for any sequence, norm convergence is equivalent to weak convergence + convergence of norms. b) KK (Kadec-Klee) property ...
2
votes
2answers
35 views

Spectra of operators on different spaces

Can the same operator when defined on two different spaces have different spectra? For example and operator defined on $C_0$ and on $\ell_2$?
1
vote
0answers
14 views

Resolvent set of extension

Suppose X is an incomplete normed space and X' is its completion. Let T be a bounded linear operator on T and T' the linear extension of T to X'. How do I prove that the resolvent set p(T) of T ...
1
vote
1answer
22 views

Unit ball of continuous functions is a closed set - Proof with neighborhood argument

This question is trivial if one uses sequence definition, but I want to use the usual topological definition of closed set. That is , a set is closed if its complement is open. Let $U=\{f\in ...
4
votes
1answer
50 views

Compact closure in $C([0,2])$

a) Does the closure of $\left\{f_n(x)=\sin(x^n):n=1,2,3\dots\right\}$ form the a compact subset of $C([0,2])?$ b) Does the closure of $\left\{f_n(x)=\sin(x^\frac1n):n=1,2,3\dots\right\}$ form the a ...
1
vote
1answer
38 views

Spectrum of symmetric, non-selfadjoint operator on Hilbert space

I heard that any (unbounded) densely defined and symmetric operator $A: \text{dom}(A)\subset \mathcal{H} \to \mathcal{H}$, which is not selfadjoint, has $\text{spec}( A )= \mathbb{C}$. $\mathcal{H}$ ...
0
votes
1answer
47 views

Show that C is a closed convex subset and its element of minimum norm

I have a lot of problems with the following exercise that I can't solve. Let $(L^1((0,1)), \|\cdot\|_{L^1}):=(E,\|\cdot\|)$ and $$C:=\{u\in E:u\geq0 \text{ a.e } x\in (0,1),\quad T(u)\geq 1\},$$ ...
0
votes
1answer
25 views

A problem on norm preserving and angle preserving and their relations.

I want to solve the following problem and finding some difficulties:- I have done the part (a) easily. My problem is in part (b) and (c). In part (b) after calculation I have achieved that ...
1
vote
0answers
20 views

Uniform continuity of weighted Sobolev functions.

I am trying to show an embedding result for a weighted Sobolev space and have come to the following problem: I have a function $f: (0,a] \rightarrow \mathbb{R} $ such that: $f$ is bounded and ...
0
votes
2answers
16 views

Prove $F(r)=Cr^2\log(r)$ is a fundamental solution for $\Delta^2$ in $\mathbb R^2$

Prove that for some $C$, $F(r)=Cr^2\log(r)$ is a fundamental solution for $\Delta^2$ in $\mathbb R^2$. Recall that $$ \Delta^2u=u_{rr}+r^{-1}u_r+r^{-2}u_{\theta\theta}$$ My answer is below.
0
votes
2answers
22 views

$\|f(x)\|_{L^p(\mathbb R)} \le C_{>0} \|(1+x^2)^{k/2} f(x)\|_{L^\infty(\mathbb R)} $ holds?

I want to find the relation of $p$ and $k$ such that the inequality $$ \|f(x)\|_{L^p(\mathbb R)} \le C_{>0} \|(1+x^2)^{k/2} f(x)\|_{L^\infty(\mathbb R)} $$ holds when r.h.s $<\infty$. Here $f$ ...
1
vote
1answer
45 views

Spectrum of a finite rank operator

If $ T\in B(H)$ is a finite rank operator, then there are orthonormal vectors $e_1,...,e_n$ and vectors $g_1,...,g_n$ such that $Th=\sum_{i=1}^n (h,e_i )g_i$, then we can easily see that $T$ is ...
2
votes
1answer
45 views

Definition of exponential for operators

if I have a self-adjoint operator $T:D(T) \rightarrow L^2$, then I define its unitary exponential operator by $$e^{iT}(f) := \lim_{k \rightarrow \infty} e^{iT_{k}}(f),$$ where $T_k(f):=\frac{1}{2} ...
1
vote
1answer
32 views

Hilbert Space: Weak Convergence implies Strong Convergence

This probably might be a duplicate - let me know if so. I read the following in Graf's notes on quantum mechanics - can you give me a hint for the proof. In Hilbert spaces weak convergence in a way ...
1
vote
0answers
47 views

When does an integral operator belong to the Schatten - von Neumann class in terms of its kernel?

It is well known that an integral operator $X: L^2(\mu)\to L^2(\nu)$ with kernel $k(x, y)$ belongs to the Schatten -- von Neumann class $\mathfrak S_2$ if and only if $\int |k(x, y)|^2\, d\mu(x)\, ...
4
votes
1answer
81 views

Proof that $(L^1)\neq(L^\infty)^\ast$

I have seen a "proof" that $L^1\neq(L^\infty)^\ast$ which goes as follows: show that there is an element of $(L^\infty)^\ast$ which is not in the image of the canonical map ...
0
votes
2answers
52 views

continuity in the strong topology implies continuity in the weak one

I have to prove that if $T:(E,\|\cdot\|_E)\rightarrow (F,\|\cdot\|_F)$ is a continuous and linear operator, and $x_h\rightharpoonup x$ in $E$, than $Tx_h\rightharpoonup Tx$ in $F$. So we know that $T$ ...
0
votes
1answer
33 views

What is the domain of an operator?

There seems to be a lot confusion on this notion of a domain of an operator $D(A)$ where $A$ is an operator. Can someone use a simple example to illustrate exactly what this is? Say, let $A$ be a ...
0
votes
1answer
28 views

Domain Schrödinger equation

If I have a self-adjoint (TIME INDEPENDENT) operator $H: D(H) \subset L^2([0,x]) \rightarrow L^2([0,x])$ with and I want to define the appropriate domain for $$ (Hf)(x,t) = i \partial_t f(x,t),$$ ...
1
vote
0answers
43 views

Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$ ||x|| = \sup_{n \in \mathbb N} |\xi_n|. $$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
1
vote
2answers
58 views

Proper domain for Laplacian

it is well known that the spherical harmonics are eigenfunctions to the 3D Laplacian(angular part). But my question is: What is the right domain for this operator so that we actually get these ...
2
votes
0answers
26 views

Extension of function with values in a Banach space

I want to prove the following Let $E,X$ be Banach spaces, and $Y\subset E$ a closed subspace with codimension $1$. Let $T:Y \to X$ be a continuous linear function. Then there exists a continuous ...
1
vote
1answer
69 views

Is the space of continuous and bijective functions $f\colon [0,1] \to [0,1]$ complete?

Let $X$ be the space of continuous and bijective functions $f$, such that $$ f\colon [0,1] \to [0,1] \quad , \quad f(0)=0 \quad , \quad f(1)=1 \, .$$ Is $X$ complete (under the supremum norm $ ...