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)

11
votes
2answers
1k views

Some basics of Sobolev spaces

Let $W^{m,p}(\Omega) = \{ f \in L^p(\Omega): D^\alpha f \in L^p(\Omega) \text{ for multi-indices } |\alpha| \leq m\}$, where $D$ denotes the weak derivative. Let $W_0^{m,p}$ denote the closure of ...
11
votes
1answer
1k views

A Hamel basis for $l^{\,p}$?

I am looking for an explicit example for a Hamel basis for $l^{\,p}$?. As we know that for a Banach space a Hamel basis has either finite or uncountably infinite cardinality and for such a basis one ...
11
votes
2answers
176 views

Connectedness property of $R^2$

My class teacher proposed this problem which seem very interesting. If we remove countably many open disc from $R^2$. Is the remaining space still be path connected. I have done the problem ...
11
votes
3answers
997 views

Dirac Delta or Dirac delta function?

Is Dirac delta a function? What is its contribution to analysis? What I know about it: It is infinite at 0 and 0 everywhere else. Its integration is 1 and I know how does it come.
11
votes
2answers
665 views

Counterexample for the solvability of $-\Delta u = f$ for $f\in C^2$

I'm learning for an exam and I'm surprised by the following statement that is given without proof or example: Let $\Omega\subset\mathbb{R}^n$ be open, bounded and connected and let $f\in ...
11
votes
1answer
2k views

$T$ surjective iff $T^*$ injective in infinite-dimensional Hilbert space?

Let $T:H_1\rightarrow H_2$ be a bounded linear operator where $H_1$ and $H_2$ are Hilbert spaces. The Hilbert-adjoint is defined to the the operator $T^*:H_2\rightarrow H_1$ such that $\langle ...
11
votes
1answer
477 views

Renorming $\mathcal{B}(\mathcal{H})$?

Consider the Banach space of all bounded operators $\mathcal{B}(\mathcal{H})$ on a (separable if you wish) Hilbert space $\mathcal{H}$ with the operator norm. Can we renorm this space to a strictly ...
11
votes
1answer
3k views

Invertibility of compact operators in infinite-dimensional Banach spaces

Let $X$ be an infinite-dimensional Banach space, and $T$ a compact operator from $X$ to $X$. Why must $0$ then be a spectral value for $T$? I believe this is equivalent to saying that $T$ is not ...
11
votes
2answers
559 views

Is the closedness of the image of a Fredholm operator implied by the finiteness of the codimension of its image?

Let $X$ and $Y$ be Banach spaces. A bounded operator $T\colon X\to Y$ is called Fredholm iff The dimension of $\ker(T)$ is finite, The codimension of the image $\mathrm{im}(T)$ is finite, The image ...
11
votes
1answer
797 views

About example of two function which convolution is discontinuous on the “big” set of points

I want to ask about example of real valued functions defined on the real line such that their convolution exist in every point and is discontinuous on a "large" set, for example on each point of some ...
11
votes
2answers
459 views

Engineer: Unable to appreciate importance of L2 space

Can someone provide me with some material to make clear of the importance of $L^2$ space in engineering/physics? Having a background in all the introductory mathematics courses offered in ...
11
votes
1answer
813 views

Why no trace operator in $L^2$?

We have trace operator which allows us to define boundary values of an $H^1$ function. This is because of the fact that $C^\infty$ is dense in $H^1$ under the $H^1$ norm, I believe. I'm sure either ...
11
votes
3answers
1k views

Applications of the Hahn-Banach Theorems

Question: What are some interesting or useful applications of the Hahn-Banach theorem(s)? Motivation: Most of the time, I dislike most of Analysis. During a final examination, a question sparked my ...
11
votes
2answers
218 views

General “Hodge theorem”

I know basically zero Hodge theory, so this question might be weird. Let $$A \stackrel{S}{\longrightarrow} B \stackrel{T}{\longrightarrow} C$$ be a sequence of closed, densely defined maps of ...
11
votes
1answer
2k views

Norm on a Hölder's space

I want to prove that Hölder space is a Banach space under the "Hölder Norm" ie. $\|\cdot\|_{C^{k,\alpha}}$. Any hints would be appreciable .
11
votes
2answers
132 views

What is the main purpose of learning about different spaces, like Hilbert, Banach, etc?

I just started to learn about functional analysis and have started to learn about various spaces, like $L^{p}$, Banach, and Hilbert spaces. However, right now my understanding is rather mechanical. ...
11
votes
1answer
3k views

Prove: The weak closure of the unit sphere is the unit ball.

I want to prove that in an infinite dimensional normed space $X$, the weak closure of the unit sphere $S=\{ x\in X : \| x \| = 1 \}$ is the unit ball $B=\{ x\in X : \| x \| \leq 1 \}$. $\\$ Here is ...
11
votes
2answers
931 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
11
votes
1answer
145 views

When is an operator on $\ell_1$ the dual of an operator on $c_0$?

Suppose $T:\ell_1\to\ell_1$ is a continuous linear operator. When can we say that $T$ is a dual, or adjoint, of an operator on $c_0$? In other words, under what conditions can we find a continuous ...
11
votes
1answer
654 views

$\ell_\infty$ a Grothendieck space

The problem I am considering stated formally is this: Show that if a sequence in $\ell_\infty^*$ is weak*-convergent, then it is also weakly convergent. We may reduce this to the case where the ...
11
votes
1answer
340 views

$(n^2 \alpha \bmod 1)$ is equidistributed in $\mathbb{T}^2$ if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$

I did the following homework question, can you tell me if I have it right? We want to show that the sequence $(n^2 \alpha \bmod 1)$ is equidistributed if $\alpha \in \mathbb{R} \setminus \mathbb{Q}$. ...
11
votes
1answer
745 views

Does separability follow from weak-* sequential separability of dual space?

Let $E$ be a Banach space. Suppose that $E'$ is weakly-* sequentially separable, that is, that there exists a countable $D \subset E'$ s.t. every $x' \in E'$ is a limit point of a ...
11
votes
1answer
245 views

Is the function characterized by $f(\alpha x+(1-\alpha) y) \le f^{\alpha}(\alpha x)f^{1-\alpha}(y)$ convex?

Is a non-negative function $f(x)$ convex ? If for $x \ge y$ it satisfies for any $\alpha \in [0,1]$. \begin{align} f(\alpha x+(1-\alpha) y) \le f^{\alpha}(\alpha x)f^{1-\alpha}(y) \ \text{ ...
11
votes
1answer
133 views

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$. Proof: suppose $T:L^1 \rightarrow L^\infty$ continuous and onto. $L^1$ is separable, let $\{f_n\}$ be a countable dense ...
11
votes
2answers
118 views

Properties of function $f(x) = (1 + x^2)^{-\alpha/2}(\log(2+x^2))^{-1},\text{ }x \in \mathbb{R}$ with $0 < \alpha < 1$.

Consider the function$$f(x) = (1 + x^2)^{-\alpha/2}(\log(2+x^2))^{-1},\text{ }x \in \mathbb{R},$$with $0 < \alpha < 1$. How do I see that $f \in W^{1, p}(\mathbb{R})$ for all $p \in [1/\alpha, ...
11
votes
2answers
594 views

Extension and trace operators for Sobolev spaces

Given that $\Omega \subset \mathbb{R}^{n}$ is an open, convex, Lipschitz bounded set. Let $O \subset \Omega$ be open bounded set then consider. $$u_{m} \rightharpoonup^{*} u \text{ in } ...
11
votes
1answer
168 views

Non-divergence form of a 2nd order PDE

This might be a trivial question but I'm very rusty with regards to calculus and am new to PDEs. How would you write the following second order quasilinear equation in it's non-divergence form: The ...
11
votes
3answers
364 views

Problem with infinite product using iterating of a function: $ \exp(x) = x \cdot f^{\circ 1}(x)\cdot f^{\circ 2}(x) \cdot \ldots $

[update]: I made the question more precise, more general and added a follow up question Considering the iteration of functions (with focus on the iterated exponentiation) I'm looking, ...
11
votes
1answer
640 views

Motivation of Feynman-Kac formula and its relation to Kolmogorov backward/forward equations?

Kolmogorov backward/forward equations are pdes, derived for the semigroups constructed from the Markov transition kernels. Feynman-Kac formula is also a pde corresponding to a stochastic process ...
11
votes
1answer
435 views

Every Hilbert space operator is a combination of projections

I am reading a paper on Hilbert space operators, in which the authors used a surprising result Every $X\in\mathcal{B}(\mathcal{H})$ is a finite linear combination of orthogonal projections. The ...
11
votes
2answers
2k views

How to prove that a bounded linear operator is compact?

I encountered a homework problem that says: If $A$ is a bounded linear operator from $X$ to $Y$. And $K$ is a compact operator from $X$ to $Y$, where $X$ and $Y$ are both Banach spaces, and ...
11
votes
1answer
484 views

Stone-Weierstrass implies Fourier expansion

To prove the existence of Fourier expansion, I have to solve the following exercise, which supposedly follows from the Stone-Weierstrass theorem: Let $G$ be a compact abelian topological group ...
11
votes
3answers
238 views

Prove that there exist linear functionals $L_1, L_2$ on $X$

Let $X$ be a linear space, $p, q$ sublinear functionals on $X$, and $L$ a linear functional on $X$ such that $|L(x)| ≤ p(x) + q(x),$ for all $x ∈ X$. Prove that there exist linear functionals $L_1, ...
11
votes
2answers
180 views

average of maximal function is less than its infimum?

Let M be the dyadic Hardy-Littlewood maximal operator. Prove the following: there is a constant $C$ such that for any $f$, $$ \inf_{x\in I}Mf(x)\le C 2^k\inf_{x\in J} Mf(x) $$ where $I$ and $J$ are ...
11
votes
1answer
531 views

Osgood condition

Let $h$ and $g$ be continuous, non-decreasing and concave functions in the interval $[0,\infty)$ with $h(0)=g(0)=0$ and $h(x)>0$ and $g(x)>0$ for $x>0$ such that both satisfy the Osgood ...
11
votes
1answer
2k views

How is Riemann–Stieltjes integral a special case of Lebesgue–Stieltjes integral?

Thanks for reading! My questions are based on the following quotes from Wikipedia: About the existence of Lebesgue–Stieltjes integral: The Lebesgue–Stieltjes integral $ \int_a^b f(x)\,dg(x)$ ...
11
votes
1answer
114 views

Extending the domains of densely defined bounded integral transforms on $L^2(\Bbb R)$

This is a question I've contemplated for quite some time since it's pretty closely related to Fourier theory (particularly choosing the "right" space to define the Fourier transform on). However I've ...
11
votes
1answer
182 views

What is the strongest possible statement of the idea that “the tangent line is the best linear approximation”?

For instance, I've just checked that that if you take the best linear approximation (in the $L^2$ sense) to a sufficiently nice function $f$ on the interval $[-\varepsilon, \varepsilon]$, and then let ...
11
votes
1answer
436 views

Can the “inducing” vector norm be deduced or “recovered” from an induced norm?

Can the "inducing" vector norm be deduced or "recovered" from an induced (operator) norm? This question occurred to me after seeing this question. I'm hoping that perhaps there exists something like ...
11
votes
1answer
772 views

Hille Yosida theorem application

Disclaimer: pretty long and specific (contraction semi groups involved). I have fourth order parabolic equation $$ u_t + \Delta^2 u = 0 $$ on $U_T = U \times [0,T]$. $U \subset \mathbb{R}^m$ is a ...
11
votes
1answer
637 views

Elementary applications of Krein-Milman

Recall that the Krein-Milman theorem asserts that a compact convex set in a LCTVS is the closed convex hull of its extreme points. This has lots of applications to areas of mathematics that use ...
11
votes
2answers
174 views

Is there a direct proof that a compact unit ball implies automatic continuity?

One of the fundamental theorems in functional analysis is that if $X$ is a Banach space (say over $\Bbb C$) with a compact closed unit ball, then $X$ is finitely dimensional. The usual proof is by ...
11
votes
1answer
141 views

Does $L^p$ have a basis for which the Pythagorean identity with exponent $p$ holds?

In the $\ell^p$ spaces with $1\leq p<\infty$, let $\{e_n\}$ be the standard basis. If $x=\sum_{n=1}^\infty a_ne_n$ is in $\ell^p$, then for any $k$ we can write $$||x||^p=\sum_{n=1}^k ...
11
votes
0answers
153 views

Regularity of PDEs, general question (Example: Kolmogorov equation)

Let us consider a differential operator $L$ and the PDE $$Lu=0$$ with some boundary conditions (assume Neumann conditions). For example, Kolmogorov's equation $$(1) \quad Lu(t,x) = \partial_t u(t,x) + ...
11
votes
0answers
415 views

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
11
votes
0answers
309 views

Norm Inequality on a Compact Riemannian Manifold

Consider the following problem: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality $$\Delta u \geq ...
11
votes
1answer
433 views

Heat Kernel Property

Let $\phi$ be the Heat Kernel in $\mathbb{R}^n$, i. e. $$\phi (x,t)={(4\pi t)}^{-n/2}\exp\left( - \frac{\mid x \mid ^2}{4t}\right)$$ and let $u$ satisfy Heat equation. Show that: ...
11
votes
0answers
615 views

Question regarding the Kolmogorov-Riesz theorem on relatively compact subsets of $L^p(\Omega)$.

Usually, the Kolmogorov-Riesz theorem is quoted for $L^p(\mathbb R^n)$, but I am looking for versions considering spaces over subsets in $\mathbb R^n$. The following is from the book "Sobolev spaces" ...
11
votes
0answers
1k views

Eigenvalues and eigenfunctions for the Fredholm integral operator $K(g) = \int_0^1 e^{x t} g(t) dt$.

I would like to compute the eigenvalues and eigenfunctions for the Fredholm integral operator $$K(g) = \int_0^1 e^{xt} g(t) dt.$$ The sources I've checked* seem to say that the process is fairly ...
10
votes
5answers
1k views

How to show that this set is compact in $\ell^2$

Let $(a_n)_{n}\in\ell^2:=\ell^2(\mathbb{R})$ be a fixed sequence. Consider the subspace $$C=\{(x_n)_{n}\in\ell^2 : |x_n|\le a_n\text{ for all }n\in\mathbb{N}\}.$$ According to the book [Dunford and ...