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)

73
votes
0answers
3k 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 $...
21
votes
0answers
315 views

Is it possible to characterize completeness of a normed vector space by convergence of Neumann series?

If $X$ is a normed vector space and if for each bounded operator $T \in B(X)$ with $\| T\| < 1$, the operator ${\rm id} - T$ is boundedly invertible, does it follow that $X$ is complete? Context: ...
15
votes
0answers
299 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 ...
13
votes
0answers
165 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) + ...
12
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 ...
11
votes
0answers
280 views
+500

If a map between separable Banach spaces has closed graph, does it have a point of continuity?

It is well known that the closed graph theorem does not directly extend to nonlinear maps: even for functions from $\mathbb{R}$ to $\mathbb{R}$, having closed graph does not imply continuity. But let'...
11
votes
0answers
426 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
315 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
0answers
659 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" ...
10
votes
0answers
160 views

Question about boundedness of a sequence in $ W^{3,q} $ for any $ 1\leq q < \frac{N}{N-1} $

I have asked this question several months ago, I have understood every thing and there are good comments and they have helped me , but only I have a question about tomas comment, how can Calderón-...
10
votes
0answers
203 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, h\rangle_{L^2[...
10
votes
0answers
194 views

Existence theorem on weak solutions of ordinary differential equations

Consider an ordinary vector-valued differential equation of the form $$ \begin{align*} \dot y(t) &= f(t,y(t)), \\ y(0) &= y_0 \in \mathbb{R}^n. \end{align*} $$ It is well known that if $f$ is ...
10
votes
0answers
292 views

Two possible definitions of “vector-valued distribution”

Let $X$ be a reflexive Banach space. Define $$\tag{1} \mathcal{D}^\star(0, T; X)=\left\{ u\colon \mathcal{D}(0, T)\to X\ \text{linear and continuous}\right\} $$ where the topology on the space of ...
10
votes
0answers
436 views

If a Radon measure is a tempered distribution, does it integrate all Schwartz functions?

The question might at first sight sound like the answer is trivially "yes", so let me clarify the question a bit. Consider given a Radon measure $\mu$ on $\mathbb{R}^n$. Let $\mathcal{D}(\mathbb{R}^n)$...
10
votes
0answers
473 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
92 views

Are Sobolev spaces $W^{k,1}(\mathbb R^d)$ and $H^{k,1}(\mathbb R^d)$ the same?

We consider the following spaces $H^{k,p}(\mathbb R^d)$, $k \geq 1$ is integer, $p \geq 1$ (Bessel potential spaces): $$ H^{k,p}(\mathbb R^d) = \bigl\{ f \in L^p(\mathbb R^d) \colon \mathcal F^{-1}[...
9
votes
0answers
219 views

Brezis Exercise 3.27 Extension.

Let $E$ be a separable Banach space with norm $\|\cdot\|$. The dual norm on $E^*$ is also denoted $\|\cdot\|$. Let $(a_n) \subset B_E$ be a dense subset of $B_E$ with respect to the strong ...
9
votes
0answers
343 views

How to construct examples of functions in the Spaces of type $\mathcal{S}$

There are $3$ $\mathcal{S}$-type Spaces, namely $\mathcal{S}_\alpha\:,\: \mathcal{S}^\beta\:,\:\mathcal{S}_\alpha^\beta$. They are defined by: $\mathcal{S}_\alpha: |x^k\varphi^{(q)}(x)|\le C_qA^kk^{...
9
votes
0answers
147 views

What plays the role of the identity for the generalized convolution associated to the Fourier-Bessel transform?

In traditional Fourier theory, the Dirac delta plays the role of an "identity" for the $L^1$ algebra with respect to the usual convolution. The convolution is traditionally built out of group ...
9
votes
0answers
196 views

Energy inequalities with negative sobolev number.

Let $\phi\in H^{s}$ such that the following energy inequality is true: $$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| P\phi(t,\cdot)\|_s \, dt $$ where $P$ is a strictly hyperbolic linear operator. For ...
9
votes
0answers
235 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
9
votes
0answers
499 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 ...
9
votes
0answers
117 views

Topological Space in which every compact subset is metrizable

Is there an (more or less) established name for the class of topological spaces in which every compact subset is metrizable? This is true for example in (LF)-spaces (inductive limits of Frechet-spaces)...
8
votes
0answers
144 views

prove uniqueness from orthogonality relation

The problem: we have two functions $f(x), g(x)\in C^{1}[-\pi, \pi]$, and we know that \begin{align} \int_{-\pi}^{\pi} \int_{-\pi}^{\pi} \cos\left(ky\right) \sin\left(k\left\lvert y-z\right\rvert\...
8
votes
0answers
121 views

Fast convergence in $L^1$ implies convergence almost everywhere

This is a proof-verification request. Claim: Let $(X,\mathscr M,\mu)$ be a measure space. Let $f_n$ ($n\in\mathbb N$) and $f$ be measurable, integrable, real-valued functions such that $(f_n)_{n\...
8
votes
0answers
219 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 ...
7
votes
0answers
51 views

How to get the idea of the formula for the mean value property for the heat equation

From the mean-value property of the Laplace's equation, we have the following mean-value property: $$ u(x)=\frac{1}{a(n)r^n}\int_{B(x,r)}udy. $$ But for the mean-value property of the Heat equation, ...
7
votes
0answers
163 views

A conjecture on Schatten 1-norm

I have a conjecture on Schatten 1-norm. Before presenting the conjecture, let us first specify the notions used here. A matrix $A$ is said to be a density operator if $A$ is positive semidefinite ...
7
votes
0answers
190 views

The study of the properties of the solution of Heat equation.

I am studying the following basic heat equation. (All notations follows Evans book) \begin{align} u_t -\Delta u =0 &\text{ in }\mathbb R^2\times(0,\infty)\\ u=u_0 &\text{ on }\mathbb R^2\times\...
7
votes
0answers
127 views

Random variables that span copies of $\ell_p$

Consider the coin-toss measure $\mu$ on $\{0,1\}^\mathbb{N}$. Within this framework it is easy to construct a sequence of independent, symmetric Bernoulli random variables. Indeed the point-evaluation ...
7
votes
0answers
240 views

Regularity of a weak solution

The problem is formulated as follows: Let $\Omega\subset\mathbb{R}^2$ a bounded Lipschitz domain. For $u\in L_2(\Omega)$ one can define the one dimensional weak dirivative $\partial_1 u$. Now define ...
7
votes
0answers
129 views

When does analytic in the operator norm imply analytic in the trace class norm?

Consider $U$ a nice compact region in $\mathbb{C}$ with boundary $\Gamma$. Let $S_1$ b the ideal of trace class operators on a separable complex Hilbert space $H$. We will let $\|\cdot \|$ be the ...
7
votes
0answers
223 views

Difficult Fourier transform exercise

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
7
votes
0answers
199 views

Riesz's 1909 proof of the Riesz Representation Theorem

Frigyes Riesz originally proved the Riesz Representation Theorem on $ C[0,1] $ -- here is his 1909 paper in English (original French). He builds a real valued function $ \text{A} $ on $ [0,1] $ ...
7
votes
0answers
143 views

Lagrange multipliers in Calculus of Variations

I am trying to learn about Calculus of Variations and I am beginning to see some constrained optimization problems in the domain of functionals, by using Lagrange multipliers. It seems that things ...
7
votes
0answers
179 views

Nuclear spaces vs Banach spaces

The Wikipedia article on nuclear spaces say the following: "There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: ...
7
votes
0answers
138 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$? ...
7
votes
0answers
210 views

A sequence of functions that is uniformly continuous, pointwise equicontinuous, but not uniformly equicontinuous when their domain is noncompact

I'm trying to prove my sequence of functions $(f_n) = \frac{n}{n+1}\cos(x^2)$ on (0,1) is pointwise equicontinuous, uniformly continuous, but not uniformly equicontinuous. But, I'm having a lot of ...
7
votes
0answers
82 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
118 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ (...
7
votes
0answers
236 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
7
votes
0answers
217 views

Importance of Schwartz kernel theorem

I am currently reading the proof of the Schwartz Kernel Theorem from Hormander Vol I. At the risk of sounding naive, what is the importance of Schwartz kernel theorem? What are certain insights that ...
7
votes
0answers
340 views

Show that the function is constant

Let $S^n$ be an $n$-dimentional unit sphere. Consider $f: S^n \longrightarrow R_+$ even continuous function. Denote $$ F(f):=\int_0^{\infty}\int_{S^n}f(y)g\left(\frac{|xy|}{t}\right)dy\frac{dt}{t^{...
7
votes
0answers
154 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 ...
7
votes
0answers
491 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
88 views

Spectacular failure of Lebesgue differentiation for rectangles

Let $\mathcal{R}$ be the set of rectangles in the plane and, given $f \in L^1$ let $$ f^*(x) = \sup_{x \in R \in \mathcal{R}} \frac{1}{ \lvert R \rvert} \int_R \lvert \, f \,\rvert $$ as defined in ...
6
votes
0answers
84 views

Capacity vs measure of a set - intuitive understanding

There is a concept of measure of "largeness" of a set, called capacity. The intuition is, instead of physical largeness (measured by Hausdorff or Lebesgue measure), capacity measures how good a given ...
6
votes
0answers
48 views

Elliptic regularity on the Hypercube

Assume $$ Lu=f\quad \text{in } [0,1]^d\\ u=0 \quad\text{ on } \partial[0,1]^d $$ for some strongly-elliptic operator $L$, and $f\in H^k$$, k\geq -1$. Do we have $u\in H^{k+2}$? I can only find the ...
6
votes
0answers
62 views

Every self-adjoint trace class operator on $L^2$ has integral kernel

Let $T$ be a self-adjoint trace-class operator on $L^2(\mathbb{R})$. Is is true that it can be represented as an integral operator. I thought the kernel would be $$k_T(x,y) =\sum_{i=1}^\infty \...
6
votes
0answers
50 views

boundness of linear map

Let $X$ and $Y$ be Banach spaces, $T : X\rightarrow Y$ a linear map such that $f \circ T\in X^*$ for every $f\in Y^*$, then $T$ is bounded. I've tried to show that $T$ is closed, but I think that's ...