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

Convergence implies Abel summability, and we only need to consider when $s=0$?

Suppose $\displaystyle c_n\in\mathbb{C}\textrm{ and}\sum_{n=1}^{\infty}c_n=s$. Then, prove $\displaystyle\lim_{r\to 1^{-}}\sum_{n=1}^{\infty}r^{n}c_n=s$. In my text, the author hinted that: we only ...
0
votes
1answer
15 views

Boundedness of linear operator and weak convergence

Let us assume that $X,Y$ are Banach spaces and $T : X \to Y$ is a linear operator. Show that: $T$ is bounded $\Leftrightarrow$ for any sequence $ \{ x_n \}^{\infty}_{n=1} $ weakly convergent to some ...
1
vote
0answers
30 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
1
vote
0answers
18 views

Characterization of $H^{-1}(\mathbb{R}^N)$ by Fourier transform

We denote by $H^{-1}(\mathbb{R}^N)$ the dual space to $H_0^1(\mathbb{R^N})$. Let $$\langle f,v \rangle = \int_{\mathbb{R}^N} fv \hspace{1cm} (f,v \in L^2(\mathbb{R}^N)).$$ It is known that if $f \in ...
0
votes
0answers
12 views

Semigroup of operators: weak continuity at 0+ implies weak continuity at any t > 0

Let ($E$, $d$) be a metric space. Consider the semigroup $\{P(t)\}_{t\geq 0}$ of bounded linear operators on the Banach space $\hat{C}(E)$ of continuous real functions on ($E$, $d$) vanishing at ...
0
votes
0answers
6 views

weak* convergence of periodically extended function

Let $U := \Pi^d_{i=1}(a_i,b_i) \subset \mathbb{R}^d \ (a_i<b_i \ \text{for each} \ i )$ and let $f \in L^p(U)$ for some $1<p<+\infty$. Let us extend $f$ periodically on whole $\mathbb{R}^d$ ...
-1
votes
0answers
16 views

weak* convergence for sequence in $ L^\infty$

Let $ \Omega \subset \mathbb{R}^d $ be a bounded and open set. Suppose $ \{f_n\} \subset L^{\infty} (\Omega) , f \in L^{\infty} (\Omega) $. Prove that $ f_n \rightharpoonup^* f \ \ \text{in} \ \ ...
1
vote
0answers
26 views

Hahn-Banach proof of existence of Haar measure

I'm reading these notes of Terry Tao on the Haar measure (and related topics) on a locally compact Hausdorff group $G$. When he goes through the construction of the Haar measure, he does so by way of ...
-2
votes
0answers
50 views

What is the “actual definition” of the following?

Imagine you were standing on the ground and as the ground starts moving you stay exactly where you are. Your change in movement, by standing on a moving surface, is like a path-line. Suppose we take ...
10
votes
3answers
209 views

Every invertible linear transformation can be perturbed a bit without destroying invertbility, Neumann series

Let $T: V \to V$ be any linear transformation on a real or complex vector space $V$. Show that there exists $\epsilon_0 > 0$ $($depending on $T$$)$ so that $I + \epsilon T$ is invertible for any ...
0
votes
1answer
29 views

how to find norm of the operator Ax(t) = cos (t)*x(t)?

Please explain me how can I get norm of this operator: $Ax(t)=\cos(t)x(t)$ where $A\colon C[-\pi/2,\pi/2] \to C[-\pi/2,\pi/2]$. Thanks
5
votes
3answers
31 views

Borel measurable functions $f:[0,1]\to[0,\infty)$ which cannot be expressed as pointwise limit of nondecreasing sequence of step functions

An interval in this problem may be open, closed or half open. We regard a singleton $\{a\}$ as being an interval also. A step function is a real valued function on $\mathbb{R}$ which is a linear ...
1
vote
0answers
16 views

Trace map from $H^1$ into $H^{\frac 12}$, does this statement imply another?

Consider trace map $T:H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ on a sufficiently smooth domain $\Omega$. It has a partial inverse $E$. If we have the statement $$F(u,Eu) = 0\quad\text{for all ...
1
vote
1answer
59 views

Determinant: Continuity?

Building on the previous thread: Determinant: Definitions? Presumptions: Differential Geometry, Functional Analysis Given a vector space $V$. Consider an endomorphism $T:V\to V$. Define its ...
-1
votes
0answers
22 views

C*-algebras: States?

I'd like to better understand states on C*-algebras. What properties should I investigate and in which order? (Positive functionals, extremal states, Schwarz's inequality, Kadison's inequality, what ...
3
votes
1answer
38 views

Help with proof that $H^{1}(\mathbb{R})$ is closed under multiplication.

Edit: Prove that if $u,v \in H^{1}(\mathbb{R})$ then $uv \in H^{1}(\mathbb{R})$. My idea is to approximate with functions in $C^{\infty}(\mathbb{R})$ with compact support. Let $u,v \in ...
1
vote
0answers
21 views

$c_o$ is not isometric to $c_0 \oplus c_0$

$c_0$ is the Banach space of sequences converging to zero and $c_0 \oplus c_0$ is its algebraical direct sum with itself equipped with the norm $||(\xi,\eta)|| := ||\xi||+||\eta||$. How to prove that ...
2
votes
1answer
29 views

For $(l^2,\|\cdot\|_2)$ and $e_n=(0,0,.,1,0,.)$ and a bounded linear functional $\Phi$ find $p\geq 1$ where $\sum_{n=1}^\infty |b_n|^p$ converges?

For $(l^2,\|\cdot\|_2)$ and $e_n=(0,0,...,1,0,...)$ and a bounded linear functional $\Phi$ find a value of $p\geq 1$ where $\sum_{n=1}^\infty |b_n|^p$ converges for $b_n=\Phi(e_n)$? Ok so since ...
2
votes
2answers
68 views

What is a nice definition of the determinant not relying on representations by matrices?

Foundation for: Determinant: Continuity Presumptions: Differential Geometry, Functional Analysis Given a vector space $V$. Consider an endomorphism $T:V\to V$. The rank of an endomorphism: ...
1
vote
0answers
16 views

Density and Fredholmness

Let $X$ be a Banach Space and $Y$ a dense subset of $X$. An operator $T:X \to X$ is said to be Fredholm if it has closed range, $\dim \ker(T)<\infty$ and $\dim coker(T) < \infty$. Here is my ...
1
vote
0answers
9 views

quotient norm complete

Suppose X is a Banach Space and Y$\subset$X is a closed subspace. Show that the quotient space X/Y, with the quotient norm $||[x]||_{X/Y}=\inf_{x\in[x]}||x||_X$ is complete. I think by definition, ...
1
vote
0answers
19 views

an example of functions which is essentialy bounded but not continuous in circle

Can you give me an example of a function which is essentially bounded but not continuous in the unit circle and bounded in the open unit ball?
0
votes
0answers
24 views

The dual of the space $L^\infty$. [duplicate]

As we know the dual of $L^p$s are $L^q$s where $\frac{1}{p} + \frac{1}{q} =1$, and dual of $L^1$ is $L^\infty$. What is dual of the space $L^\infty (E)$ where E is a measurable subset of $\mathbb{R} ^ ...
0
votes
2answers
24 views

Problem 8, Section 2.7 in Erwine Kryszeg's Introductory Functional Analysis With Applications

Here is Problem 8 in the Problem Set following Section 2.7 in Erwine Kryszeg's Introductory Functional Analysis With Applications: Show that the inverse $T^{-1} \colon R(T) \to X$ of a bounded ...
0
votes
0answers
19 views

Problem 2.7-9 in Erwine Kryszeg's Introductory Functional Analysis With Applications

Here is Problem 9 in the Problem Set following Section 2.7 in the book Introductory Functional Analysis With Applications by Erwine Kryszeg: Let $C[0,1]$ denote the set of all (real- or ...
0
votes
1answer
8 views

Dirichlet problem, solvability

Let $\Omega\subset \mathbb R^n$ and $f\in L^2(\Omega)$. We consider $\{u\in C^1(G):||u||_{1,2,G}<\infty \}$,where $||u||_{1,2,G}$ is the "sobolev-norm" with parameter $1,2$ on $G$. Then $H^1(G)$ ...
1
vote
2answers
33 views

Knowing a function while only knowing its partial derivatives?

So again we study a physics course without studying mathematics course We are in the work energy chapter , and I'd like to know if you can know the function $f(x,y,z)$ if you know all of its partial ...
0
votes
1answer
31 views

$C_c(\mathbb R^n)$ is not dense in $\mathcal L^\infty(\mathbb R ^n)$

I'm having some difficulties in manipulating the space $\mathcal L^\infty(\mathbb R ^n)$, and I want to show that $C_c(\mathbb R^n)$ is not dense in $\mathcal L^\infty(\mathbb R ^n)$, but I can't find ...
0
votes
0answers
21 views

Exercise on functional analysis

I have a problem with this exercise of functional analysis about weak convergence: Let $U:=\prod_{i}^{d}(a_{i},b_{i})$ a subset of $\mathbb{R}^d$ with $a_{i}<b_{i}$ for each i and let ...
2
votes
0answers
23 views

Separable Hahn-Banach and the axiom of choice

We had in our functional analysis course a proof for the Hahn-Banach theorem on a separable Banach space which doesn't need, according to our professsor, the axiom of choice. Yesterday I read the ...
0
votes
0answers
16 views

Gateaux variation (Functional Derivative) of functional with convolution

Given the following functional $F[f]=\int f(x) \log(g(x)) dx$ find Gateaux variation. Also, $g(x)$ is given by convolution $g(x)=y(x) * f(x)=\int y(\tau) f(x-\tau) d\tau$, so \begin{align*} ...
2
votes
1answer
32 views

Proposed proof for convergence in Sobolev space

Consider the Anisotropic Sobolev Space defined by: $$W^{1,\overrightarrow{p},\epsilon}(\Omega) := \{ u \in L^{1+\frac{1}{\epsilon}}(\Omega), \frac{\partial u}{\partial x_{i}} \in L^{p_{i}}(\Omega), ...
0
votes
0answers
15 views

Geometric intuition behind of uniformly rotund in every direction

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $\lim_{n\to\infty} ||x_n-y_n||=0$ whenever $x_n, y_n \in S_X$ are such that $\lim_{n\to\infty} ||x_n+y_n||=2$ and ...
0
votes
0answers
18 views

The resolvent of a differentation operator on $C[a,b]$

Consider a densely defined operator $A : C[a,b ]\rightarrow C[a,b ]$, $$Au=u^{\prime}$$ with domain $$D(A)= \{ u\in C^1[a,b]: u(b)=ku(a) \}$$ for some $k>0$. I have to find $R_A(\lambda)$ for ...
0
votes
1answer
42 views

Fundamental theorem of calculus with Gâteaux differentials and Riemann integrals

Let $f:[a,b]\to E$ where $E$ is a Banach space and let $Df(x,h)$ be its Gâteaux differential in $x$ with direction $h$. If $\mathbb{R}\to E$, $h\mapsto Df(x,h)$ is linear and continuous, then we write ...
3
votes
1answer
57 views

Having trouble understanding a proof after it applies the Hanh Banach theorem.

I have been reading a proof on the convergence of Newton's method that has been fairly easy to follow except for a single step that has totally mystified me because it suddenly depends on a lot more ...
0
votes
0answers
13 views

Multivariable calculus of variations (second variation)

So I understand that, if the multivariable Euler-Lagrange equations are satisfied, then the first variation is zero. But that doesn't mean we really are dealing with a minimum of the action or a ...
1
vote
1answer
22 views

Homeomorphism from $K$ to $\Phi_{C(K)}$

Let $K$ be a compact Hausdorff and $C(K)$ be a Banach algebra of continuous function on $K$ such that $\textbf{1} \in C(K)$ and such that $C(K)$ separates the point of $K$. I am trying to show that ...
3
votes
2answers
55 views

Metrizability of the unit ball $B_{X^*}$.

I am trying to prove the assertion: If $X$ is a separable normed space, then the unit ball in $X^*$ with the weak* topology, $(B_{X^*},\sigma(X^*,X))$, is metrizable. Firstly, I took ...
1
vote
0answers
33 views

a question on quasi-invariant measures (with respect to the irrational rotations) on the unit circle

Fix a $\sigma$-finite atom-less measure $\mu$ on the unit circle, which is quasi-invariant and ergodic under the rotation $T$ of the angle $2\pi\theta$, $\theta$ irrational. By a well-known result of ...
0
votes
0answers
24 views

Spectrum of a bounded operator on a (not necessarily Banach) normed vector space

It's well known that on a Banach space, the spectrum of each bounded operator is compact in $\mathbb C$. What about a general normed vector space? Is there a counterexample if we don't assume ...
3
votes
1answer
50 views

Closed subspace. A Hahn–Banach theorem consequence

I am trying to prove: If M is a subspace of a normed space $X$, that $\overline{M}=\bigcap\{\ker(\phi):\phi|_{M} = 0 \}$ It is really easy to see that $\overline{M} \subset ...
0
votes
1answer
40 views

Does the sequence $( n^{1/n} -1)$ belong to any $\ell^p$ space? [on hold]

The sequence $( n^{1/n} -1)$ converges to zero but does this sequence belong to the $\ell^p$ space for $p\in\mathbb R$? I don't know the answer, or how one would prove it. Same problem with the ...
2
votes
0answers
34 views

Norm for a set of vectors

Let V be a normed vector space (real or complex valued) with norm $\|\cdot\|_V$. For any nonempty and bounded subset $A \subseteq V$ one can define $\|A\|$ via $$\|A\|:=\sup\{|x|:x\in A\}$$ I ...
0
votes
0answers
28 views

Resolvent operator

Let's consider the following operator on $L^2(\mathbb{R}^3)$ $$A(t)=\Delta+b(t,x)\cdot\nabla$$ where $\Delta$ is the Laplace operator and $b(\cdot,\cdot)$ a smooth vector field. How to compute the ...
3
votes
1answer
27 views

an analytic function in $\Delta^n$ is bounded in $T^n$, then it is bounded in $\Delta^n$

Is true that if an analytic function in $\Delta^n$ is bounded in $T^n$, then it is bounded in $\Delta^n$? Here $\Delta^n$: polydisc and $T^n$: Torus, distinguished boundary of $\Delta^n$.
2
votes
1answer
25 views

If $I$ is a closed ideal in a C*-algebra $A$ and $J$ is a closed ideal in $I$ then $J$ is an ideal of $A$

The following is a remark of Murphy's C*-algebras and operator theory: . I do not know why he uses approximate unit. I think for $a\in A$ and $b\in J^+$, we have $b\in I$ and $b^{1/2}\in I$($I$ is ...
3
votes
0answers
31 views

The weak-star topology is Completely Hausdorff (in particular Hausdorff).

Let $X$ be a normed space, $X^*$ its dual space, $(X^*, w^*)$ is completely Hausdorff. Proof: Let $f, g \in X^*$, $f\neq g$ then $\exists x\in X$ such that $f(x)\neq g(x)$ i.e. $\hat{x}(f)\neq ...
5
votes
0answers
38 views

Smallest constant of Lipschitz retraction from bounded to continuous functions

Let $B$ be the space of all bounded functions $f:[0,1]\to\mathbb R$ equipped with the supremum norm*. It contains $C$, the space of continuous functions on $[0,1]$, as a subspace. An $L$-Lipschitz ...
0
votes
0answers
10 views

Meta Euler Lagrange

Consider the following generalized standard Euler Lagrange Problem which is to maximize the quantity $$ \int_{x_1}^{x_2} L(x,y,y', y'' ... y^{(n)}) dx $$ It can be solved by first determining a ...