All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
1
vote
1
answer
496
views
Convergence of Difference Quotients
Let $\gamma_{\varepsilon} \rightharpoonup \gamma$ in $W^{1,\infty}(0,1)$. Then for any fixed $s \in \mathbb (0,1)$ does the limit $\lim_{\varepsilon \rightarrow 0} \frac{\gamma_{\varepsilon}(s\...
- 213
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 1,649
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
- 213
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
- 213
16
votes
3
answers
1k
views
A natural center of a convex weakly compact set in Banach space
Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$.
Motivation: A lot! For example, in game theory $S$ can be a set of ...
- 161
3
votes
1
answer
352
views
Integral Equation with "convolution"
I've got the following problem I'm working on which is related to some of my research:
Solve:
$f(x) = \int_{-\infty}^x G(x,y)f(y)f(x-y)dy$
for f, given $G$ which has whatever smoothness ...
- 31
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,...,...
- 81
4
votes
1
answer
882
views
What is the domain of the "average operator"?
I can try to define an averaging operator for functions, namely let
$$A: D \subset L^\infty([0,\infty]) \to \mathbb{R}$$
by
$$Af = \lim_{N\to\infty} \frac{1}{N}\int_0^N f(x)dx$$
whenever the limit ...
- 225
1
vote
1
answer
350
views
Strong convergence in reflecxive Banach space
Let $(X, \|\cdot\|)$ be an Banach space. Assume that a sequence $f_n \rightarrow f$ weakly in $X$, and $\|f_n\| \rightarrow \|f\|$ as $n \rightarrow \infty$. It's known that if $X$ is a uniformly ...
- 425
3
votes
0
answers
409
views
Continuous function sort
If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
- 529
5
votes
1
answer
664
views
Are piecewise linear curves dense among Hölder curves?
Consider for some $0 < \alpha \leq 1$ the space functions $x:[0,1] \to \mathbb{R}^n$ such that $x(0) = 0$ and
$\sup_{s,t} \frac{\|f(t)-f(s)\|}{|t-s|^{\alpha}}$
is finite.
There are at least two ...
- 4,304
2
votes
0
answers
564
views
Young inequality in weighted spaces
Let $U$ be a bounded open set in $\mathbb{R}^2$, $g\in L^1_{\mathrm{loc}}(\mathbb{R}^2)$.
Let moreover $w$ be a weight (i.e. a non vanishing locally integrable function) on $U$ and $p\geq2$.
Does ...
- 1,205
7
votes
3
answers
4k
views
Is a semicontinuous real function Borel measurable?
Let $f(x,u): [0,1]^2 \mapsto \mathbb{R}$ be a continuous
function.
[Q] Is $g(x) = \inf_{u\in [0,1]} f(x,u)$ always Borel measurable?
If not, can one find a counter-example?
Note that, for any $c$,
...
- 1,399
2
votes
3
answers
3k
views
Extension of pointwise convergence of a sequence of uniformly continuous functions that converges on a dense set
It is known that a sequence of continuous functions on a metric space that converges pointwise on a dense subset need not converge pointwise on the full space. But what about if one assumes uniform ...
- 777
26
votes
3
answers
16k
views
the dual space of C(X) (X is noncompact metric space)
It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f:
X\rightarrow \mathbb{C} \text{ is continuous and bounded} \}$ is $M(X)$, the space of ...
- 1,706
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
6
votes
2
answers
4k
views
Is there dual space of the distributions $\mathcal{D}'(R)$?
Dear MOs,
Let $\mathcal{D}(R):=C_c^\infty(R)$ be the smooth functions with compact support. Its dual space is the space $\mathcal{D}'(R)$ of distributions. This space $\mathcal{D}(R)$ has its weak *-...
- 1,649
10
votes
2
answers
3k
views
Absolute continuity on $R^{n}$
I know the definition of absolute continuity if there is a function $f:(a,b)\rightarrow R$.
I wonder what is an analogy of this concept if we have a function $f:A\rightarrow R$, where $A\subset R^{n}$ ...
- 399
6
votes
0
answers
8k
views
Dual space of continuous functions
Let $C_b(\Omega,V )=$ { $ f:\Omega\rightarrow V $ } is the Banach space of all bounded continuous functions in Banach space $V$ with a norm $\|\cdot\|$ defined as $\|f\|_\infty=\sup _{x\in\Omega}\|f(x)...
- 385
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} \...
- 85
2
votes
1
answer
2k
views
Modified Lebesgue differentiation theorem
Let $\Omega\subset \mathbb{R}^n$ an open set and $u:\Omega\to \mathbb{R}$ be a (locally) $L^1$-function. Then it is well known that the Lebesgue differentiation theorem holds: For almost every $x\in \...
- 2,270
1
vote
1
answer
224
views
Can symmetrizing a contraction increase the speed of convergence?
Dear community,
I have a problem which is very simple to state but seems to be hard to answer.
Statement of the problem
Let $f$ and $g$ be two symmetric, real functions in $n$ and $m$ variables, ...
- 199
2
votes
1
answer
942
views
A singular value inequality
Let $s_1,s_2: \mathbb{R}^{2\times 2} \mapsto \mathbb{R}_+$,
$s_{1}\left(\cdot\right)\ge s_{2}\left(\cdot\right)\ge 0$, be the
singular values of a $2\times2$ matrix. Is it true that
$$\left|s_{1}\...
- 173
6
votes
2
answers
2k
views
How to prove the Hahn-Banach constructively
I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.
- 71
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
1
vote
1
answer
3k
views
Is point to set distance continuous?
Assume $\mathbf{d}:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}_0^+$ is a metric such that the function $\psi(x)=\mathbf{d}(x,y)$ for any $y\in\mathbb{R}^n$ is continuous in the Euclidean ...
- 27
4
votes
1
answer
1k
views
Hausdorff dimension of graphs .
Is there an easy way to calculate the Hausdorff dimension of the graph of a real "elementary" function, like $f(x)=\sin(1/x)$ ?
- 3,630
3
votes
2
answers
949
views
Reference for proof that $C_b^* = rba$
The following theorem seems to have folk status:
The topological dual of the space $C_b(X)$ of bounded continuous functions on a topological space $X$ is isomorphic to the space $rba(X)$ of finite, ...
- 459
2
votes
2
answers
1k
views
Characterization of Weakly measurable functions
I wonder if we can characterize weak measurability of a function taking values in a Banach space using sequence of step functions (functions that have finite range) just like how we define strong ...
- 23
1
vote
1
answer
275
views
Shift operator that generates separable orbit
Suppose, that $f$ is bounded measurable function, $T_h(f)(x) = f(x+h)$ is the shift operator.
How to prove, that if the whole orbit $T_h(f):\, h\in\mathbb{R}$ has a dense, countable subset $T_{n_k}(f)$...
- 696
1
vote
0
answers
174
views
Eigenvalues of a Parametrized Family of Linear Functions
Suppose that we have a family of linear functions $L(\alpha) : \mathbb{R}^n \rightarrow \mathbb{R}^n$, where $\alpha$ is a positive real number.
For each $\alpha$, it is given that $L(\alpha)$ is a ...
- 111
2
votes
0
answers
800
views
Controlling the Lipschitz norm of the limit of a sequence of functions
Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
- 8,512
44
votes
10
answers
47k
views
Is square of Delta function defined somewhere?
I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere.
In the beginning, this question might look strange. But by restricting the space of the test functions, ...
5
votes
1
answer
781
views
Does a log-concave function on a convex set extend continuously to the boundary?
Let $U$ be an open convex set in a locally convex space $X$, and let $f : U \to [0,1]$ be a log-concave function on $U$ (i.e., bounded and real-valued). Under what conditions does $f$ have a ...
- 8,512
26
votes
2
answers
5k
views
Does Arzelà-Ascoli require choice?
Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...
- 29.8k
2
votes
1
answer
465
views
What is the regularity of the argument of a complex function?
Let $\psi=f+ig=\rho e^{i\theta}$ be a complex function on some open subset of $\mathbb{R}^n$, where $f,g,\rho$ and $\theta$ are real-valued. I happened to find that the identity of differentiation for ...
- 305
26
votes
3
answers
7k
views
Dual of bounded uniformly continuous functions
Let $(X,d)$ be a metric space, and let $C_u(X)$ be the Banach space of bounded uniformly continuous functions on $X$ (with the uniform norm). How can I characterize its dual space $C_u(X)^*$?
I ...
- 29.8k
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....
- 53
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
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 ...
- 505
25
votes
1
answer
8k
views
Convergence of Fourier Series of $L^1$ Functions
I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, Wikipedia informs me ...
- 871
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 4,466
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 2,044
2
votes
2
answers
317
views
Bibliography for topologies defined by a family of seminorms
Hello
I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource.
Thank you very much.
- 143
2
votes
3
answers
946
views
How can I measure the Morse index in infinite dimensions?
Let $V$ be a vector space over $\mathbb R$, and $a: V\otimes V\to \mathbb R$ a symmetric bilinear pairing. Recall that the Morse index of $a$ is the maximal dimension of any subspace $V_- \subseteq V$...
- 54.6k
2
votes
4
answers
3k
views
Splitting a space into positive and negative parts
Let $V$ be a vector space over $\mathbb R$. A symmetric bilinear pairing on $V$ is a linear map $a: V\otimes V \to \mathbb R$. Because $\mathbb R$ is characteristic not-two, I will freely confuse ...
- 54.6k
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
- 1,475