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)

37
votes
0answers
2k views

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case ...
10
votes
0answers
249 views

Analysis of the function $\prod\limits_{n=-\infty}^{ \infty }(1-e^{-a{(x+n)^2} })$

While playing on pruduct series, I noticed interesting function that it has similar behavior to $C.\sin^2(\pi x)$ function . I need help about some results below. $$f(x)=\prod\limits_{n=-\infty}^{ ...
10
votes
0answers
206 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
10
votes
0answers
848 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 ...
9
votes
0answers
75 views

What's the minimal structure needed to define a notion of derivative?

I know that, for example, to define a limit all you need is the notion of "closeness" generated by a topology; and to define an integral you need a measure function and a sigma-algebra on which it is ...
9
votes
0answers
414 views

Finding a proper solution of a given functional

It's my first post here, but I worked very hard to find solution and I failed. Hereinafter, I skip physical background and directly proceed to my mathematical problem. No matter how, you know the ...
9
votes
0answers
468 views

Compact set of probability measures

I think I can solve the following exercise if X is assumed to be separable, otherwise I can't. Let $X$ be a (Hausdorff) locally compact space, $\pi\colon X \to Y$ a continuous map into a ...
8
votes
0answers
106 views

Sampling theorem.

Let us consider \begin{equation} \hat{f}(x)=\sum_{n\in \mathbb Z}\left\langle\hat{f},e^{i n x}\right\rangle_{L^2[-\pi,\pi]} e^{i n x} \ \ \ \ \ \ \ \ (1) \end{equation} where $\langle g, ...
8
votes
0answers
114 views

Is there an infinite-dimensional Jordan decomposition?

I just noticed this embarrassing gap in my understanding of linear algebra. This question seems to be asking something similar, although the questioner doesn't quite say it explicitly. And this ...
8
votes
0answers
315 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$, ...
8
votes
0answers
165 views

Existence of a map in a Hilbert space

Let $H$ be an infinite-dimensional Hilbert space, $B$ be its unit ball: $B=\{x\in H: \, \|x\|\leq 1\}$. Does there exist a continuous map $f:H\to H$ such that $f(f(x))=x$ $\forall x\in H$, $f$ has no ...
7
votes
0answers
48 views

Mankiewicz theorem

I'm looking for a proof of Mankiewicz theorem, which states that: If $U, V$ are open, connected subsets of normed spaces $E, F$ respectively, then every bijective isometry $U \rightarrow V$ extends ...
7
votes
0answers
387 views

Show that the semigroup S(t) here described is a contraction semigroup

Definition 1: Let $H$ be a Hilbert space. A strongly continuous semigroup is a family $\{S(t)\}_{t \ge 0}$ of continuous linear operators $S(t): H \rightarrow H$ such that $S(0)=I$, where $I$ is the ...
7
votes
0answers
121 views

Showing L infinity norm bounded by L2 norm on a manifold

I have the following problem that I'm working on: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality ...
7
votes
0answers
104 views

Two definitions of $H^1(\partial\Omega)$, one using charts and one use tangential gradients

Let $\Omega$ be a bounded Lipschitz domain with boundary $\partial\Omega$. There are two ways to define a space $H^1(\partial\Omega)$: By using charts, we can define $H^1(\partial\Omega)$ to ...
7
votes
0answers
177 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: ...
7
votes
0answers
406 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
7
votes
0answers
1k views

Prerequisites for functional analysis

I'm having a few months of free time, and I decided to do a self-study on functional analysis (in-depth) in the meantime. I'm aware that functional analysis requires a good deal of foundation from ...
7
votes
0answers
340 views

Fixed point: linear operators

I ask my question in two parts: though the topic is similar, I would like to distinguish linear and general cases since methods may be too different while my questions are broad. Consider a space $X$ ...
6
votes
0answers
58 views

Donsker's Theorem for triangular arrays

Assume we have a sequence of smooth i.i.d. random variables $(X_i)_{i=1}^{\infty}$. Given $\alpha>0$, does some sort of Donsker's Theorem hold for $\left(\frac{X_i}{n^{\alpha}}\right)_{i=1}^n$? ...
6
votes
0answers
71 views

The dual of the Banach space $C(\Omega)$

It is well-known that the dual of the Banach space $C([0,1])$, i.e. the space of all continuous functions on the interval, is the space of all functions of bounded variation on the interval, ...
6
votes
0answers
215 views

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
6
votes
0answers
108 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
6
votes
0answers
58 views

Radon-Nikodým (write the density as a limit)

Let $\mu$ be a probability measure and $\nu$ a $\sigma$-finite measure on $(\mathbb{R},\mathcal{B})$ with $\nu\ll\mu$. Show that it is $\mu$-a.s. $$ \lim_{h\to 0}\frac{\nu [x-h,x+h)}{\mu ...
6
votes
0answers
126 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried with Hamilton (1982) The Inverse Function Theorem of Nash and Moser. But, the article is very encyclopedic. I have a background in ...
6
votes
0answers
140 views

Explicit form of the homeomorphism between $C[0,1]$ and $C[0,1]\setminus 0$

How to construct the homeomorphism between $C[0,1]$ and $C[0,1]\setminus\{\theta\}$ in the explicit form? Here, as usual, $C[0,1]$ is the Banach space of continuous functions $f:[0,1]\to\mathbb{R}$ ...
6
votes
0answers
1k views

Are vague convergence and weak convergence of measures both weak* convergence?

For quite a long time, I have been confused about the definitions of weak convergence and vague convergence of measures among other modes of convergence that root from functional analysis, mainly due ...
6
votes
0answers
142 views

Isomorphism between spaces of sections.

Let $M$ be a compact manifold and let $E_i \xrightarrow{\Large \pi_i} M$, $i = 1, 2$, be two (real or complex) vector bundles of the same rank $k$ over $M$. Assume we have metrics $g_1, g_2$ on $E_1$, ...
6
votes
0answers
317 views

Hilbert transform and Hilbert matrix

The Hilbert matrix is \begin{bmatrix} 1 & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \dots \\[4pt] \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & & \ddots \\[4pt] ...
6
votes
0answers
164 views

Closure in the Space of Probability Measures with the Prohorov metric

I have seen this result stated countless times: assume the metric space $(\theta,d)$ is separable; then $(\theta,d)$ is complete if and only if the space $(\mathcal{P}(\Theta),\rho)$ (the space of ...
6
votes
0answers
128 views

Decomposing $\mathcal{B}(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
6
votes
0answers
486 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
6
votes
0answers
379 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
6
votes
0answers
158 views

Invertibility of Toeplitz operator in $\ell_1$

Suppose we have a Toeplitz operator $$ T(a) = \begin{bmatrix} a_{0} & a_{-1} & a_{-2} & \ldots & \ldots &a_{-n+1} &\dots \\\\ a_{1} & a_0 & a_{-1} & \ddots & ...
6
votes
0answers
146 views

Linear isomorphisms with dense graph

Is it true that for each infinite dimensional Banach space $X$ there exists a linear bijection $f: X \rightarrow X$ with a dense graph? A graph of $f$ it is the set $\Gamma(f):=\{(x, f(x)): x \in X ...
6
votes
0answers
202 views

Two “different” adjoints of exterior derivative on manifolds with boundary in the $L^2$-setting

The follow problem appears in the setting of $L^2$-differential forms on manifolds with boundary. An abstracted operator theoretic problem is given below. Suppose $M$ is a smooth Riemannian manifold ...
5
votes
0answers
37 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 ...
5
votes
0answers
48 views

Why should the open mapping theorem be expected?

Soft question alert. I want to know why to expect the open mapping theorem to be true. My thoughts: I know that one nice consequence of the OMT could be thought of as the universal property of ...
5
votes
0answers
191 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
5
votes
0answers
38 views

$H^{1/2}$ function but not better

I am looking for an example of a function $f: [0, 1] \longrightarrow \mathbb{R}$ that is in the Sobolev space of order $1/2$, $H^{1/2}([0, 1])$, but not in the Sobolev space of order $1/2 + ...
5
votes
0answers
38 views

Two Hilbert spaces $V \subset H$, a basis for both spaces?

Let $V \subset H$ be a pair of Hilbert spaces (with different inner products). The embedding is continuous and dense, and both spaces are separable. Is it always the case that one can I find a ...
5
votes
0answers
111 views

When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
5
votes
0answers
140 views

Isomorphism between $C^\infty_0(B_1)$ and $\mathscr{S}(\mathbb{R}^n)$

Background: Related question I am trying to prove, that the countably-normed spaces $C^\infty_0(B_1)$ on the open unit ball (i.e. function and all derivatives vanish at the boundary) in ...
5
votes
0answers
70 views

Weak*-complemented subspaces of $\ell_\infty$

Consider $\ell_\infty$ as $\ell_1^*$. Let $X$ be an infinite-dimensional complemented subspace of $\ell_\infty$ (in partiuclar, $X$ is isomorphic to $\ell_\infty$). Can we find a further subspace ...
5
votes
0answers
185 views

Functions with compact support

I have a question about a convergence of functions with compact support. SETTING Let $d\geq 3$ and $U \subset \mathbb{R^{d}}$ be open and $dx$= Lebesgue measure on $U$. Let $b_{i},c,d_{i} \in ...
5
votes
0answers
123 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...
5
votes
0answers
53 views

a question about Tsirelson's space

Background. Let $T$ denote the Figiel-Johnson construction of the Tsirelson space, that is, the completion of $c_{00}$ under the implicitly-defined norm ...
5
votes
0answers
110 views

Connections and dependences between topological and algebraic basis in topological vector space

On my last functional analysis exam, one of the tasks was to show that if normed vector space $X$ have countable Hamel basis, then $X$ is separable space (over field $\mathbb{R}$). I am not sure if ...
5
votes
0answers
155 views

Subsequences of a basic sequence

Suppose ($x_n$) is a basic sequence in a Banach space $X$, and $Y$ is a closed, infinite co-dimensional subspace of the closed span of $(x_n)$. Can we always find a subsequence ($y_n$) of ($x_n$) such ...
5
votes
0answers
101 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...