All Questions
Tagged with real-analysis fa.functional-analysis
1,447 questions
1
vote
0
answers
57
views
Looking for CDFs that I can integrate a particular transformation of
I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate
$$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
- 11
-1
votes
1
answer
237
views
Theorem with an example [closed]
i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?
- 256
33
votes
1
answer
2k
views
For which maps $S^1\to S^1$ is the winding number defined?
There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to S^...
- 60.5k
1
vote
0
answers
331
views
Relationship between weak Lp and strong Lq topologies for q<p
Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
- 203
3
votes
1
answer
171
views
Characterization of a set in $\mathbb{R}^d$
Let $X= (X_1,\dots, X_d)$ be a fixed vector of random variables on the space $(\Omega, \mathcal{F}, \mathbb{P})$. Consider the following set.
\begin{equation}\label{main12}
C= \{x\in \mathbb{R}^d ~|~ ...
- 24.8k
0
votes
0
answers
428
views
Given an even function how to obtain the most close odd function and vise versa?
Given an even function $f(x)$, how to obtain the most close to it continuous odd function $g(x)$?
By most close I mean that $\int_0^\infty |f(x)-g(x)| dx$ be the minimum possible and the difference $|...
- 10.1k
1
vote
2
answers
226
views
Smooth but non-analytic kernel functions
Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?
- 41
8
votes
3
answers
636
views
Method to compute fundamental solutions which are distributions
The Malgrange-Ehrenpreis theorem tells us that there is a fundamental solution for any linear differential operator of constants coefficients. The original proof was not constructive (it was based on ...
- 9,007
2
votes
1
answer
577
views
When is the bound in Riesz-Thorin Interpolation Theorem attained?
Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem).
Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...
- 13k
4
votes
1
answer
670
views
A generalization of a theorem of Grothendieck
In this question the norm of $L^{P}[0,1]$ is denoted by $\parallel . \parallel _{p}$.
Let $p$ and $q$ be two arbitrary real numbers with $2<p<q$.
Assume that $S$ is a subvector space of ...
- 356
23
votes
2
answers
2k
views
Which smooth compactly supported functions are convolutions?
If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...
- 1,017
3
votes
1
answer
684
views
Is the countably infinite product of locally convex topological vector spaces locally convex?
Let $(X,\tau)$ be a locally convex topological vector space and denote the product space
$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$
If we endow $X^{\infty}$ ...
- 54.6k
3
votes
1
answer
495
views
Inequality in the Sobolev space $H^1$
I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ^2\bigg)^{\frac{q}{2}-a}+\frac{c}{r^{2a}}\bigg(\int_{B_r}...
- 2,933
3
votes
2
answers
135
views
series representation of bivariate functions
Given a bivariate function $f(x, y)$ with $x \in [-a,a]$ and $y \in [-b, b]$, what is the necessary and sufficient condition under which we can write $f(x, y) = \sum g_k(x)h_k(y)$ for all $(x,y)$ in ...
- 656
3
votes
1
answer
2k
views
Is the space of test functions separable? [closed]
Consider the space $\mathcal D(\mathbb{R}^n)$ of smooth functions (in the sense of having continuous derivatives of all orders) which are compactly supported. Endow it with its usual topology, i.e., ...
- 3,958
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
CommunityBot
- 1
0
votes
0
answers
45
views
compactness related to some distance defined on the space of increasing functions2
Let $I=[0,1]$ and denote by $C^{+}(I)$ the space of continuous increasing functions. Can we find a distance $d$ for $C^+(I)$ such that the set of the form
$$d(f,g)\rightarrow 0\Longrightarrow f(1)\...
- 1,835
0
votes
2
answers
168
views
Let f:J→R be an absolutely continuous and f'\in...?
Let $f:J\rightarrow \mathbb{R}$ be an absolutely continuous.
Under what kind of extra condition for $f'$, (not $C$) holds the following relation?
$$
\Big | \frac{1}{|I_{1}|}\int_{I_{1}}f'(x)dx- \...
- 3,699
2
votes
0
answers
428
views
Weak relative compactness in $L^1_{loc}$.
In my work I stumbled upon a proposition (without proof, alas), which I can't really prove.
Suppose we have a family of functions $\left\{\phi_\epsilon (t,x,v)\right\}_{\epsilon\in(0,1]}$, and $M(v)$ ...
- 173
0
votes
0
answers
405
views
Dual of the space of vector valued Borel measures
What is the dual of the space of all vector valued Borel measures?
- 21
1
vote
1
answer
527
views
An Integral Functional Equation
Let $f$ be a non-negative function supported and integrable on the positive real axis, such that
$$\int_0^\infty f(x+y)p(y) dy = c[p] f(x), $$
where $c[p]$ a number (functional) dependent on function $...
- 2,239
4
votes
2
answers
957
views
Do semi-continuous functions generate bounded Borel measurable functions as a $C^*$-algebra?
This question is related to Question 2 of my previous posting.
Question. Let $\mu$ be a Radon measure on a compact Hausdorff space $\Omega$ and $L^{\infty}(\Omega,\mu)$ the set of essentially bounded ...
CommunityBot
- 1
1
vote
0
answers
295
views
Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?
I first specify the setting and then formulate the question precisely. (A very long post follows.)
Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...
CommunityBot
- 1
1
vote
2
answers
292
views
specific improper integral involving erf
I have encountered an integral, and kindly ask for help with a solution. It is beyond my own capabilities, and neither Maple nor Mathematica were of any help:
$$
\int_{1}^{\infty} \left[\mathrm{erf}\...
- 10.3k
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 16.2k
4
votes
2
answers
2k
views
mean value theorem for operators
This might be a trivial question but I am not very familiar with the subject matter. I was wondering if some sort of mean value theorem works for operators on function spaces. Say $F: \mathcal{S_1} \...
- 60.5k
0
votes
1
answer
905
views
Hölder continuity of uniform limit of piecewise constant functions
Consider a piecewise constant function $v: [a,b] \rightarrow \mathbb{R}$ defined by a finite partition $a=t_0 < t_1 < t_2 < ... < t_s=b$ of the interval $[a,b]$, and constants $m_1,m_2,...,...
- 60.5k
1
vote
2
answers
938
views
Alternate definitions of $C^{1,\alpha}$ and $C^{1,\alpha}(\bar{D})$ maps
My question is about the precise definition regarding the following:
Let $f$ be an orientation-preserving $C^1$ diffeomorphism of the unit circle $S^1$. So $f'(b)$ exists and can be thought as a ...
- 60.5k
1
vote
1
answer
859
views
Continuous and dense embeddings and the density of sets in Hilbert space
Suppose $H$ is a Hilbert space of functions $f:\Omega\to \mathbb{R}^n$ with $\Omega\subset \mathbb{R}^n$ open, bounded and with Lipschitz boundary (take for example $H=H_0^1(\Omega)^n$) and suppose $B$...
- 10.3k
4
votes
1
answer
260
views
Weak continuity of Lebesgue decomposition
Let $X$ be a space with its $\sigma$-algebra $\mathcal{B}$; we are given a finite measure $\mu$ and a sequence of finite measures $\nu_n$ such that, for every bounded continuous function $f:X\to\...
- 190
2
votes
0
answers
104
views
Fourier multiplier with a singularity on a convex curve
Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
- 6,210
4
votes
1
answer
280
views
Approximation of an integral over the unit ball of L_1
For every $\varepsilon>0$ find a piecewise continuous function $q:[0,1]\rightarrow \mathbb{R}$ such that $\int_0^1 q(x)dx=1$ and
$$\int_{0}^1 \int_{0}^{s} \left|\frac{q(s)q(t/s)}{s}- \frac{q(t)q((s-...
- 9,486
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
0
votes
2
answers
720
views
Is there a probability density function satisfying the following conditions?
I find myself in need of the solution of this problem in finding a probability density function. I had asked this question in Math Stack Exchange but I did not get an answer so I am posting it here.
...
- 5,470
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
3
votes
0
answers
860
views
decreasing rearrangements: why the asymmetry of measure-preserving maps?
Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...
CommunityBot
- 1
4
votes
1
answer
370
views
Norms for complex measures
I'm searching for a state of the art introduction to norms on the space of complex measures (on $\mathbb R^n $, for example, or some compact subset thereof). I'd be interested in inequalities of the ...
CommunityBot
- 1
2
votes
0
answers
263
views
A strange Weakly Compactness in $L^1 ( \Omega, \mathcal{F}, \mathbb{P})$
Hi to everyone,
The ingredients of my problem are the following:
I have a probability space $(\Omega, \mathcal{F}, \mathbb{P})$, a set (continuum cardinality) $\mathcal{Q}$ of probability measures on $...
CommunityBot
- 1
1
vote
1
answer
263
views
When can we "displace" an ultrafilter limit with another limit?
Let $\cal A$ be a Banach algebra, $\cal U$ be a free ultrafilter, and $\phi$ be a character. Let ${(w_{\alpha})}_{\alpha}$ be a net in $(\cal A)_{\cal U}$, and suppose that for every $(a_i)\in (\cal A)...
- 25.8k
8
votes
1
answer
596
views
complete metric space
Hallo, I have the following question:
Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
3
votes
1
answer
133
views
A recurrent sequence related to the Brouwer fixed-point theorem
Let $K$ be a non-empty compact convex subset of a Banach space $E$, and let $f : K \longmapsto K$ be a continuous function. Fix $u_0 \in K$, and define by recurrence $u_{n+1} = \frac{1}{n+1} \sum_{j=0}...
- 60.5k
0
votes
0
answers
149
views
Does this sequence of H\"older functions have a limit?
Let $\left\{\alpha_{n}\right\}_{n\in \mathbb{N}}$ a sequence of positive real numbers with
$$\alpha_{n}\in (0,1)\quad \textrm{and}\quad \alpha_{n}>\alpha_{n+1}$$
Moreover suppose
$$\lim_{n\...
- 91
3
votes
1
answer
643
views
Is a Cauchy principal value invariant under a "change of variables"?
Let $f \in C^{\gamma}_c(\mathbb{R}^n) $. Let $K:\mathbb{R}^n \backslash \{\vec{0}\} \rightarrow \mathbb{R}^n$ be a singular integral kernel with the following properties:
1) K smooth everywhere ...
- 16.2k
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
1
vote
0
answers
305
views
Adjoint operator in sobolev space
Let $g\in H_0^1(\Omega)\cap W^{2,\infty}(\Omega),$ and let us define the operator $B : y \to g y$ from $H:=H_0^1(\Omega)\cap H^2(\Omega)$ to $H$, which we endowed with norm $|u|=(\|u\|^2 +\|\Delta u\|...
- 51
-4
votes
1
answer
200
views
How I can choose $(t_1,t_2,...,t_{r}) \in (0,1)^{r}$ such that $f^{(k)}\left(1-2\prod_{j=1}^{k}t_{j}\right)=0$?
Let $f:\mathbb{R} \to \mathbb{R}$ be a real analytic function. Assume that $f$ has simple trivial zeros at each nonpositive integer. Then, all the $k$-th derivatives $f^{(k)}$ of $f$ have necessarily ...
CommunityBot
- 1
1
vote
0
answers
341
views
spaces of smooth functions with bounds on partial derivatives
EDIT: As there were no takers at all... I have added below a possible approach I came up with...
I would like to ask the following elementary but tricky question about the density of spaces of smooth ...
- 1,338
1
vote
2
answers
654
views
Limit with theorem of dominated convergence
Let $f\in L^{2,s}(\mathbb{R}^3)=\bigg\lbrace u\bigg|\int_{\mathbb{R}^3}dx\,|u(x)|^2(1+|x|^2)^s<\infty\bigg\rbrace$ ($s>\frac{1}{2}$)
I have to calculate this limit
$$\lim_{|x-y|\to 0}\int_{\...
CommunityBot
- 1
-1
votes
1
answer
187
views
Limit of a function in a weighted Sobolev space
I have a function $f(x)$ in the space $H^{2,-s}(\mathbb{R}^3)$; have this limit sense
$$\lim_{|x-y|\to 0} f(x)$$
? ($y$ is a fixed point)
If i have $f$ in $H^2$ I can say that
$$\lim_{|x-y|\to 0} f(x)=...
- 3,388
2
votes
1
answer
412
views
Convergence in norm of Sobolev spaces
I consider, for $s>\frac{1}{2}$, the space $L^{2,-s}(\mathbb{R}^3)=\bigg\lbrace{f: \int_{\mathbb{R}^3}|f(x)|^2(1+|x|^2)^{-s}<\infty\bigg\rbrace}$ and I have to show that the function $$f(x)=\...
- 3,958