All Questions
Tagged with fa.functional-analysis real-analysis
1,448 questions
1
vote
1
answer
211
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
- 9,007
3
votes
1
answer
315
views
Where to find the proof of this property?
I am doing some exercises in the analytic and there is a problem as following:
``Let $\{f_n\}_{n \in \mathbb{ N}}$'' to be a positive sequence such that:
$\sum\limits_{n=1}^{+\infty} f_n = 1$.
$\...
- 128k
2
votes
0
answers
148
views
Approximation of functions in $L^p(R^d;L^\infty)$
Assume that the function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$. Can we find a class of functions $f_n\in C_b^2(R^d;L^\infty(B_R))$ such that
$$...
- 411
1
vote
1
answer
247
views
Equivalent notion of approximate differentiability
Is it true that the definition of approximate differentiability presented here of a function $f: \mathbb{R}^N \to \mathbb{R}$ is equivalent to the following one?
$$\lim_{r \to 0} \rlap{-}\!\!\int_{...
- 1,277
1
vote
3
answers
207
views
Existence of solution to linear fractional equation
We consider the equation
$$ \sum_{j=1}^n \frac{\lambda_j}{x-x_j} =i$$
where $\lambda_j>0$ and $x_j$ are real distinct numbers.
I want to show that if $\lambda_k$ is small compared to the ...
- 91.8k
6
votes
2
answers
1k
views
Properties of heat equation
** I simplified the question: **
On bounded domains, the maximum principle implies that the solution to the heat equation is (strictly) positive, if the initial and boundary data is positive.
I ...
- 4,899
0
votes
1
answer
244
views
Proving that $\|\mathbf{T}^n\|^2=\sum_{g\in \mathbf{G}(n,d)}\|\mathbf{T}_g\|^2\,$
Let $F$ be a complex Hilbert space and $\mathcal{B}(F)$ be the algebra of all bounded linear operators on $F$.
For ${\bf A} = (A_1,...,A_d) \in \mathcal{B}(F)^d$, the norm of ${\bf A}$ is given by
$...
- 724
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
- 24.2k
7
votes
1
answer
856
views
Compactness of set of indicator functions
Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set
$$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$
Is this set compact in $L^\infty(0,1)$ with respect ...
- 5,005
3
votes
1
answer
1k
views
Showing a singular integral operator takes Hölder continuous functions to Hölder continuous functions of the same order
I would like to show the following function is $\gamma$-Hölder continuous. Said function $F:\mathbb{R}^n \rightarrow \mathbb{R}$ is defined by a singular integral operator of convolution type as ...
- 28k
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
CommunityBot
- 1
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
-1
votes
1
answer
83
views
On probabilistic extension for Bernstein polynomials
Suppose $X_m\sim p_m(x)$ is a discrete distribution on $[0,1]$ where the value takes multipliers of $\frac{1}{m}$ (e.g., $p_m(x=\frac{k}{m})=\frac{1}{m+1})$. Suppose $p(x)=\lim\limits_{m\rightarrow\...
- 29.8k
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 28k
0
votes
1
answer
171
views
A functional equation in real analysis
For what function $u:[0,1]\rightarrow R$ with bounded derivative, such that $\forall p\in[0,1]$,
$\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^n\binom{n}{k}p^k(1-p)^{n-k}u(\frac{k}{n})=u(p)$
...
- 34.7k
8
votes
2
answers
644
views
Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 101
4
votes
1
answer
787
views
What is the dual space of $L^p$(conservative vector fields on a bounded set)?
First, some background: I wanted to prove that, if $f$ is a measurable function such that $\nabla f\in L^p_\text{loc}(\mathbb R^n)$, then $f\in L^p_\text{loc}(\mathbb R^n)$, $p\in(1,\infty)$. This is ...
- 28k
3
votes
1
answer
133
views
A problem with sequences with composition of $\log$s
If $(a_n)_{n \ge 1}$ is a non-negative sequence s.t., $$\sum\limits_{n = c_k}^\infty \frac{a_n}{\log^{(k)} n} < \infty, \, \forall k \ge 1 \overset{?}{\implies} \sum\limits_{n \ge 1} a_n < \...
- 128k
3
votes
2
answers
265
views
Can one realize this as an ergodic process?
Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph.
We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$
In other words: For ...
- 3,669
2
votes
2
answers
375
views
Ergodic theorem and products
If $f_n (\omega) = \sum_{i=1}^n f_1 (T^i \omega)$ and $T$ is an ergodic action with respect to the measure $\mu$ then it is know as Birkhoff's theorem that
$$ \lim_{n \rightarrow \infty} \frac{f_n}{...
- 1,769
2
votes
1
answer
563
views
Density in fractional Sobolev space
Suppose $s∈(0,1)$, $D$ is an open set in $\mathbb{R}^d$. Define
$$
H^s=(1−\Delta)^{-s/2}L^2\left(\mathbb{R}^d\right),
$$
$$
H^s_D=\left\{f\in H^s:f=0 \mbox{ a.e. on } D^c\right\}.
$$
Q: Is $C^\...
- 28k
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
CommunityBot
- 1
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
- 163
2
votes
1
answer
300
views
Necessary and Sufficient conditions for integrable function [closed]
Suppose that $a, b$ and $c$ are constant.
Is there the necessary and sufficient conditions of $a ,b, c$ for the following integration is integrable? i.e.
$$\int_0^\infty \int_0^\infty \int_0^\infty ...
0
votes
1
answer
116
views
Integrable function [closed]
Suppose that $a, b, c_1$ and $c_2$ are real constant.
Is there the necessary and sufficient conditions of $a ,b, c_1,c_2 $ for the following integration is integrable? i.e.
$$\int_1^{\infty}\int_1^{\...
- 128k
0
votes
1
answer
350
views
Uniformly Bounded (updating)
Suppose that $a_1<1$, $a_1+a_2+a_3>1.$ For $x,y,z>0,$
(1) define a fucntion
$$H(x,y,z)=\frac{x^{\frac{1}{2}}\int_0^{\infty}\frac{1}{t^{a_1}~ (1+t)^{a_2+1}~
(1+t+z)^{a_3}}\exp\big\{-\frac{...
- 119
5
votes
0
answers
262
views
Weighted reverse Poincare inequality over a function class of neural networks
We consider a probability measure supported on the whole space $\mathbb{R}^n$, whose density is $p(x)$. We also consider a (one-layer) neural network function class $\mathcal{C}$, whose elements have ...
- 1,127
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
- 31
0
votes
1
answer
419
views
Stone–von Neumann theorem?
The Stone–von Neumann theorem says that given two unitary groups on a Hilbert space $H$ satisfying the canonical commutation relations (CCR)
$$
U(t)V(s) = e^{-i st} V(s) U(t) \qquad \forall s, t
$$
...
- 42.8k
2
votes
1
answer
535
views
Approximation of a two-variable function by tensor products
Let $X$ and $Y$ be compact metric spaces and $f: X \times Y \to \mathbb{R}$ be a continuous function.
We know that, for every $n \in \mathbb{N}$, by the Stone-Weierstrass theorem, there exist $k_n \...
- 1,848
7
votes
1
answer
311
views
Almost orthonormal projection and orthonormal projection in Hilbert space
Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e.
$$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$
and $\alpha$ is ...
- 9,486
2
votes
1
answer
4k
views
What “mild solution” means, and how to find it?
In this paper: Existence and uniqueness of a classical solution to a functional-differential abstract nonlocal Cauchy problem Byszewski studied this form of functional-differential nonlocal problem (1)...
- 571
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
- 623
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
- 2,079
2
votes
1
answer
300
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
CommunityBot
- 1
1
vote
0
answers
177
views
Singular integral of the composition of the Hilbert transform and fractional Laplacian
Given $0<s<1$, we can define the Fractional Laplacian by
$$\Lambda^{-s}f(x):=(-\Delta)^{-s/2}(x)=\int_{-\infty}^{+\infty}|x-y|^{-1+s}f(y)dy$$
or by means of Fourier transform as $$\widehat{\...
- 111
1
vote
0
answers
78
views
Potential for a Monotone Operator
[Cross-posted from math.stackexchange]
I have a question about understanding the proof of Theorem 4.11 in the paper A Potential Theory for Monotone Multivalued Operators (accessible here). The ...
- 291
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
- 16.2k
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 128k
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
- 31
2
votes
1
answer
240
views
A measure of noncompactness by a convex function
Let $E, \left \| \right \|$ be a Banach space, $\mathfrak{M}_E$ indicate a family of all nonempty bounded subset of $E$, $\mathfrak{N}_E$ the familly of all relatively compact sets, and $Ker \mu=\{X\...
- 291
2
votes
1
answer
615
views
Convolution with Schwartz class function
Let $f, g\in \mathcal{S}(\mathbb R)$ (Schwartz class function), $\delta_0$ (dirac delta distribution).
Consider distribution as follows:
$$H(x, y)= f(x)g(x)\delta_0(y)-f(y)g(y)\delta_0(x), \ (x, y\...
- 128k
4
votes
1
answer
145
views
Power series in functions other than monomials
I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...
- 128k
0
votes
1
answer
119
views
$\sup_{f} \inf_{z\in D} [f_x^2(z)+f_y^2(z)]$ for $|f|\leq1$ on a unit disk
Let $f:\mathbb{R^2}\mapsto\mathbb{R}$ be continuous and have partial derivatives in $D=\{(x,y):x^2+y^2\leq1\}$, and let $\mathscr{H}$ the set of such functions for which $\sup_D |f|\leq1$.
Could ...
CommunityBot
- 1
2
votes
3
answers
303
views
Uniqueness of solution depending on constant?
I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...
- 12.6k
11
votes
2
answers
1k
views
Harmonic oscillator in spherical coordinates
It is probably the most well-known result in quantum mechanics that the harmonic oscillator can be solved by supersymmetry.
More precisely, the operator
$$-\frac{d^2}{dx^2}+x^2$$
can be ...
- 23k
22
votes
2
answers
652
views
Does every positive continuous function have a non-negative interpolating polynomial of every degree?
Let $f:[a,b] \to (0,\infty)$ be a continuous function. Then is it necessarily true that for every $n\ge 1$, we can find $n+1$ distinct points $\{x_0,x_1,...,x_n\}$ in $[a,b]$ such that the ...
- 4,034
1
vote
0
answers
389
views
The perturbation of a convex function can also be convex?
$ W^{1,\infty}(D)\ni f:D\to\mathbb R, (x,y)\mapsto f(x,y)$, is a strictly increasing on both dimensions (i.e. if $x_1>x_2$ then $f(x_1,y)>f(x_2,y)$), lipschitz continuous function defined on a ...
- 263
4
votes
2
answers
4k
views
Embedding of $BV$ and $L^p$ spaces
An elementary question about Sobolev spaces:
Is there some explicit theorem about embedding relation between spaces $BV(\Omega)$ and $L^p(\Omega)$?
Formulated otherwise: is $BV$ a subset of $L^2$ (i....
- 4,729
1
vote
1
answer
103
views
Is $X = \{ B \in L^\infty(\mathbb R^n,\mathbb R^n): \nabla \cdot B \in L^\infty(\mathbb R^n,\mathbb R^n) \}$ a dense subspace?
The Sobolev space $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ is not dense in $L^\infty(\mathbb R^n,\mathbb R^n)$. In fact the functions in $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ are Lipshitz, and not ...
- 29.8k