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

Equivalence of the Sobolev norm $\| f\|_{W^{k,\infty}}$ and $\| f\|_{H^{k,\infty}}$.

I want to know that when $k=0,1,2,...$, the Sobolev norm $$ \| f\|_{W^{k,p}} := \sum_{|\alpha|\le k} \|\partial^\alpha f\|_{L^p(\mathbb R^n)} $$ is equivalent to the norm $$ \|f\|_{H^{k,p}} := \| ...
1
vote
0answers
6 views

Least expensive way to “walk” with a convex potential

Let $V(x)$ be a non-decreasing, convex function on $\mathbb{R}^+$ such that $V(0)=0$, $V(1)=1$. Let $A_{L,k}$ be the space whose elements are sequences of positive integers $r= (r_i)_{i=1}^{N}$ such ...
0
votes
0answers
8 views

A pde that cannot solves by Lax-Milgram theorem

Consider the following pde: $-u''(x)+au'(x)+bu(x)=f(x) \qquad\text{in}\; (0,1)\\$ $u'(0)=\alpha\\$ $u'(1)+u(1)=\beta$ How could I prove that it has a nontrivial solution? The bilinear form ...
3
votes
1answer
24 views

Manipulating the maximum function, metric spaces.

I am trying to show that the supremum metric, $d_{\infty}$, is indeed a metric on $\mathbb R^2$. I have shown that the first two properties of a metric space hold, but am having trouble showing the ...
1
vote
0answers
11 views

Inequality in a Dirichlet BVP

For the Drichlet boundary value problem $Lu = -u''+p(x)u'+q(x)u = f(x), \; \; \; x \in I=[a,b]$. with $u(a)=u(b)=0$. Then for $v \in H^2(I) \cap H_0^1(I)$ show that $\left\lvert \right\rvert v ...
5
votes
2answers
52 views

What is the implication that $\| \cdot \|_2$ and $\| \cdot \|_\infty$ are equivalent norms on $\mathbb{R^2}$

Given $\mathbb{X}$ = $\mathbb{R^2}$, consider $\| \cdot \|_2$ and $\| \cdot \|_\infty$ We can show that $\| x \|_\infty \leq \| x \|_2 \leq \sqrt2 \| x \|_\infty$ Hence $\| \cdot \|_2$ and $\| ...
1
vote
0answers
16 views

Additional assumptions on function to ensure uniform convergence

Given a sequence $u=(u_n)_{n\geq1}$ converging to $1$, I would like to prove uniform convergence of the sequence of functions $f_n$ defined by $f_n(x)=f(u_n x)$ for $x\in\mathbb{R}_+$ to the function ...
2
votes
1answer
19 views

Big an open ball inside small open ball in metric space

When i was reading a book "Elements of the Theory of Functions and Functional Analysis " ([A. N. Kolmogorov, S. V. Fomin) I encountered with very interesting(for me) problem. Problem: Creat a ...
6
votes
1answer
41 views

Is this set of random variables a Hilbert space?

Consider a sequence of i.i.d. random variables $\left\{ {{\varepsilon _t}} \right\}_{t = 1}^\infty $ with $E\left( {{\varepsilon _t}} \right) = 0$ and $E\left( {\varepsilon _t^2} \right) = {\sigma ...
0
votes
1answer
24 views

Is there an error in the solution for this exercise?

I have this exercise: H is a complex hilbert space. And T is a compact operator on H. Show that if H is not separable, then 0 is an eigenvalue of T. Hint: Use lemma 1, and theorem 2. The ...
0
votes
1answer
19 views

Finite Rank Operator: Continuity

I keep forgetting it, so... Given Banach spaces $X$ and $Y$. Then it is wrong: $$\dim\mathcal{R}F<\infty:\quad F\in\mathcal{L}(X,Y)\implies F\in\mathcal{C}(X,Y)$$ Can I construct such?
0
votes
1answer
30 views

How to compute high order differential?

Let $f: E \to \mathbb{R}$ sending $x \mapsto \|x\|$ and make some simple hypothesis $E$ is a Hilbert Space Let's say that the norm $\|\cdot\|$ is derived from a scalar product So we can easily ...
2
votes
1answer
38 views

Calculus stay to Real Analysis as $x$ stay to Functional Analysis

Hi guys i had a look to book which treat the subject of Calculus (of course...) Analysis and Functional Analysis. Is that correct to state that Calculus is more focused on "computing" while ...
6
votes
1answer
39 views

structure theorem for Banach spaces

The following is a theorem in the Banach Algebra Techniques in Operator Theory by Douglas: Here are my questions: Could one come up with some reference (or proof) regarding the remark right ...
2
votes
1answer
76 views

Difficult to read about different subjects simultaneously, should I leave one for now? [on hold]

I learn math by reading books. Usually I read 3 books (about 3 different subjects) simultaneously and switch focus every couple of days. The books i'm studying right now are Rudin's functional ...
9
votes
2answers
70 views

Existence of a function

I need some help: I am thinking about this problem. Any advice would be appreciated. Let's fix $\epsilon>0$. Does there exists some $f\in C^0([0,\pi])$ such that: ...
2
votes
0answers
24 views

derivative of a linear operator

I am a little confused by the proof in the picture. Doesn't the calculation show $dB(u)h = B(h_1,u_2)+ B(u_1, h_2)$?
2
votes
1answer
28 views

Symmetric function of two normal distribution implies bilinear

This question is related to my previous question which was partially answered my @MichaelHardy. Let $X$ and $Y$ be two independent standard normal random variables. Now, suppose that ...
3
votes
0answers
32 views

looking for some exercise to test understanding of covector

I am trying to understand the concept of "covector" so that I can work with it for problems I come across in PDE. My knowledge on differential geometry is very little. And my topological background ...
4
votes
1answer
52 views

Some questions about an exercise about $C^\infty \subset L^\infty$

Let $$ L^\infty (\mathbb R) = \{f : \mathbb R \to \mathbb C\mid \text{essential sup of } f < \infty \text{ and } f \text{ Borel measurable} \}$$ and $$ C^\infty (\mathbb R ) = \{ f: \mathbb R ...
1
vote
2answers
35 views

Trace evaluation via complex analysis

We are given $U$, $V$ unitary matrices of size $N \times N$ whose spectral decomposition is known (in my specific problem, $N=4$, and $U$, $V$ are matrices with real coefficients but we can keep it ...
2
votes
1answer
33 views

Show that T is compact if $T^*T$ is compact

Let $H$ be a Hilbert space and $T: H\to H$ be a bounded linear operator. $T^*$ is the Hilbert adjoint operator. Show that $T$ is compact if $T^*T$ is compact. I am stuck with this proof. Any help ...
4
votes
1answer
23 views

“Occupation time” nonlinear functional measurable?

My question is for which functions $f$ the following nonlinear functional $f\rightarrow\int \mathbf{1}_B(f(x))dx$ is Borel measurable; $B\in\mathcal{B}(\mathbb{R})$ and $\mathbf{1}_B(.)$ is a ...
2
votes
0answers
36 views

isomorphism between function space and complex matrices

How would you show that $\mathcal{L}(X) \cong \mathbb{C}^{n \times n}$, where $X= \mathbb{C}^{n}$. Note that $\mathcal{L}(X)$ denotes the space of linear bounded functions on $X$. Is this a specific ...
4
votes
1answer
48 views

Proof of the integral operator in $L^2(\mathbb{R})$ being self-adjoint “by hand”

Suppose we have an integral operator $A$ such that $$Af(x) = \frac{1}{\sqrt{2\pi}}\int\limits_{\mathbb{R}}e^{-\frac{(x-y)^2}{2}}f(x) \, dy$$ This operator is bounded and $\|A\|=1$ (see Norm of the ...
1
vote
1answer
35 views

Can we say $\| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)}$ if $s\le q$?

If $s\le q$, then can we say that $$ \| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)} $$ holds? Here the homogeneous Sobolev seminorm $\|f\|_{\dot H^s(\mathbb R^n)} = ...
3
votes
0answers
38 views

The Weak topology on an infinite-dimensional space is not metrizable

Let $X $ be an infinite-dimensional normed space I want to prove that weak topology on $X$ is not metrizable, this is my solution Assume that there is a metric $d$ on $X$ such that induced weak ...
2
votes
2answers
39 views

Badly formed question? $\|x\|=1=\|y\|$ and $\|x+y\|=\|x\|+\|y\|$, there is a line segment in the unit sphere

Show that if a normed linear space $X$ contains linearly independent vectors $x$ and $y$ such that $\|x\|=1$ and $\|y\|=1$ with $\|x+y\|=\|x\|+\|y\|$, then there is a line segment contained in the ...
0
votes
1answer
26 views

Strange inequality in the proof of differentiability of Fourier series

I am looking at a proof and I found a strange inequality. Let $n\in \mathbb{Z}^d$ then it is stated that $\sum_{j=1}^d{(2\pi)^{2k}n_j^{2k}}>>\parallel n\parallel_2^{2k}$ due to the inequality ...
-1
votes
0answers
26 views

Is the limit of absolutely uniformly convergent series of functions a uniformly continuous function?

Let $f_n$ be a series of continuous and bounded functions on $\mathbb R$ such that $\sum|f_n|$ is uniformly convergent. Does $\sum |f_n|$ define a uniformly continuous function, and if so, how to show ...
0
votes
1answer
22 views

Do all continuous piecewise affine functions belongs to the class ($A_1$) of Muckenhoupt functions?

Given $\Omega\subset\mathbb R^N$ is open, we say $\omega$: $\Omega\to [0,+\infty)$ belongs to Muckenhoupt class $A_1$ if there exists some $C>0$ such that $$ \frac{1}{|{B}|}\int_{B(x,r)} ...
1
vote
1answer
36 views

Quotient set and inverse image.

(What i'm about to say is a subpart of a proof of a theorem). Let $M, N$ be a closed subspace and a finite dimensional subspace, respectively, of a normed linear space $X$. We define the natural map ...
0
votes
0answers
47 views

What are some functions $f \in L^\infty(\Omega)$

In my text book all it said about $L^\infty(\Omega)$ space is that it is the space of all measurable functions that are bounded almost everywhere. No example given. I can't see how any member of this ...
1
vote
1answer
26 views

Is there a name for embedding of Lebesgue spaces $L^q(a,b) ⊂ L^p(a,b)$

Let $1 ≤ p ≤ q ≤ ∞$ then $L^q(a,b) ⊂ L^p(a,b)$ where $L^q(a,b), L^p(a,b)$ are Lebesgue spaces Is there a name for this relationship? Is this the Sobolev embedding theorem?
1
vote
0answers
24 views

How Kriging, Bochner theorem and Positive definite (PD) function are related?

This question referes to the link: https://en.wikipedia.org/wiki/Kriging I can understand the relation between Bochner's theorem and PD function. But could not properly understand and connect all ...
4
votes
0answers
81 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 ...
0
votes
0answers
39 views

What is unit ball in the weak star topology of a Banach space? [on hold]

Let X is Banach space with dual $X^{*}$. What is unit ball of $X^{*}$in the weak star topology?
0
votes
0answers
27 views

Normal Operators: Superalgebra (II)

Problem highlighted at the end! Application Reduction to only one operator!! Reference This builds up on: Superalgebra (I) Convention All operators possibly unbounded!! Structures Given a ...
0
votes
0answers
13 views

Is the space of all adapted processes with Càdlàg paths a Banach space?

Consider first the definition of a stochastic integral for simple predictable processes. $$I:\mathbb{S}\rightarrow\mathbb{D},\ H\mapsto I_X(H):=H_0X_0+\sum_{i=1}^nH_i(X_{T_{i+1}}-X_{T_i})$$ The ...
2
votes
1answer
45 views

Dimension of $\left(\lambda |\psi\rangle \langle\psi| +(1-\lambda)\frac{\mathrm{I}}{2}\right)^{\otimes N}$

I have the $N$-fold tensor product of a convex combination of a pure state, i.e. $|\psi\rangle\langle\psi|$ with $|\psi\rangle$ a unit vector in a complex Hilbert space of dimension two, and the ...
2
votes
0answers
23 views

The dual space of weighted compact supported function?

Let $\Omega\subset \mathbb R^N$ be open bounded. It is well know that the dual space of $C_c(\Omega)$, i.e., compacted supported continuous function, can be identified by finite Radon measure ...
1
vote
0answers
26 views

Is $\mathbb R^N$ an $C$-distinguished topological space?

I am reading a paper which has some complicated construction on a Hausdorff topological space called $C$-distinguished topological space. The paper says that a $C$-distinguished topological space $X$ ...
6
votes
4answers
104 views

Definition of Equivalent Norms

Two norms $F,G$ are equivalent when there are constants $a,b$ such that $aF \le G \le bF$. I'm reading about this idea, and so far I've seen that equivalence of norms implies that the underlying ...
2
votes
2answers
47 views

Second differential of the norm in an infinite dimensional Hilbert space

Let $f: E \to \mathbb{R}$ sending $x \mapsto \|x\|$ and make some simple hypothesis $E$ is a Hilbert Space Let's say that the norm $\|\cdot\|$ is derived from a scalar product [solved] So we can ...
3
votes
1answer
32 views

Sobolev spaces and the domain of fractional Laplacian

I'm reading this paper on arxiv link. So far OK. Now this I don't understand. Take $s=\frac 12$. They say that by density the operator $(-\Delta)^s$ is defined on $\mathbb{H}^s(\Omega)$. ...
1
vote
1answer
37 views

Existence stochastic integral

I am trying to understand the prove of the existence of the stochastic integral for a local martinglale null at $0$ and continuous, $M\in \mathcal{M}^c_{0,\text{loc}}$, a predictable process $H\in ...
3
votes
0answers
22 views

The Hardy-Littlewood-Sobolev Inequality

Let $f:\mathbb R^n \to \mathbb C$, $n\ge 2$. I saw the line that the inequality $$ \left\| |x|^{-1} * |f|^2 \right\|_{L^\infty} \le C\|f\|_{L^{\frac{2n}{n-1},2}}^2 $$ with some constant $C>0$. Here ...
0
votes
0answers
39 views

Can a positive definite kernel expanded as the product form with an arbitrary orthonormal system?

Notations mostly follow https://en.wikipedia.org/wiki/Mercer%27s_theorem. Mercer's theorem uses the eigenfunctions $\{e_j\}$ of the integral operator as the expansion function. I wonder if we could ...
2
votes
0answers
30 views

Hyperplane in a complex vector space

This is my first question on MSE, I'm sorry if there already exists similar questions, I couldn't manage to find it. My friend, who studies Physics, asked me about the meaning of "functional" so I ...
2
votes
0answers
35 views

Expected value of multidinesional symmetric function is zero

Does anybody know a simple proof of this statement or reference to such proof? Statement Let $h: R^n \to R$ be a bounded function, symmetric in its arguments, i.e. for any permutation $\pi$ of set ...