All Questions
5,628 questions
3
votes
2
answers
295
views
Finding a simpler "local" lower bound for a rational function
I have obtained as the expression for some quantity the following gargantuan formula:
$$ \frac{k^8 + 3k^7 + 8k^6 + 3k^5 - 16k^4 - 32k^3 + 63k^2 - 34k + 6}{k^6 + 3k^5 + 6k^4 - 24k^2 + 21k - 5}$$.
...
- 188k
2
votes
2
answers
1k
views
Is there a Calderon-Zygmund decomposition for $L^p$ function
The Calderon-Zygmund decomposition for a $L^1$ function is well known, which says for any $f\in L^1$, then we can decompose $f$ into a good term $f$ and a bad term $\sum b_k$, such that for any $\...
- 679
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
7
votes
1
answer
507
views
Is the mapping $f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}$ surjective?
Is the mapping
$$
f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}
$$
surjective?
If not, what is its image?
If yes, what can be said about ...
- 1,875
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
8
votes
3
answers
800
views
Continuous functions as uniformly continuous function
Three question concerninng metrics on the real line:
Is there a metric $d$ on $\Bbb{R}$ such that a function $f : (\Bbb{R},d) \longrightarrow (\Bbb{R},d)$ ( or $f : \Bbb{R} \longrightarrow (\Bbb{R},...
CommunityBot
- 1
1
vote
1
answer
426
views
Roots of the derivative as symmetric functions of the roots of the polynomial
Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
- 37.7k
1
vote
1
answer
215
views
What's the asymptotic behavior of this function at large distance? [closed]
This question is based on some Physics motivation. Define a distance function $f(\mathbf{r})=\int_{\Omega }d^2k\int_{\Omega }d^2q \cos[(\mathbf{k}-\mathbf{q})\cdot\mathbf{r}]$, where $\mathbf{r},\...
- 113
1
vote
0
answers
122
views
Does the difference quotient of an absolut cont. funct. converge in L^1?
Assume that $\mu$ is a finite Radon measure on the real line and $f$ is integrable wrt. $\mu$. Define
$F(x)=\int_{]\infty;t]}f(y)d\mu(y) $
Is the following statement true?
The functions $d_h:x\...
- 11
4
votes
1
answer
766
views
Preimage of a smooth function
Suppose we are given a smooth function $f\colon \mathbb{R}^n \rightarrow \mathbb{R}$ and some number $c$. What can be said about the preimage $f^{-1}(c)$.
There's the theorem on regular preimages, ...
- 60.5k
1
vote
0
answers
267
views
Extension of solutions of PDE
Let $\Omega \subset \mathbb{R}^{2}$ be an open set such that $\mathbf{0} \in \Omega$. Let $A := \Omega \setminus (\{0\}\times \mathbb{R})$, that is, $A$ is $\Omega$ with the $y$-axis removed.
Let $F:...
- 11
0
votes
1
answer
322
views
Regularity for the Mean Value Theorem
Consider the most classical form of the Mean Value Theorem: given a positive continuous function $f\in C([0,2])$ and a continuous function $g\in C([0,2])$, there exist $c\in(\frac{1}{2},\frac{3}{2})$...
- 39.1k
1
vote
0
answers
1k
views
Convergence of the integral of step functions
This is a question about the proof of Lemma A in §16 of the book Functional Analysis by F. Riesz and B. Sz.-Nagy.
Lemma A: For every sequence of step functions $\{\varphi_n\}$ which decreases to ...
CommunityBot
- 1
1
vote
1
answer
603
views
The smallest altitude amongst the triangles formed by points in the unit circle
Let $S$ be a finite set of points inside the unit circle. Consider all possible triangles formed by three distinct points in $S$, and among all such triangles find the smallest altitude. Denote this ...
CommunityBot
- 1
-1
votes
1
answer
369
views
Would this go to 0 [closed]
Let $t_{m}$ be the sup of the sum of the pairwise distances
between any $2m$ points in the unit disk. Does $t_{m}/m^{2}$ go to
$0$ as $m\rightarrow\infty$?
- 1
4
votes
2
answers
958
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
8
votes
3
answers
837
views
Second order difference implies differentiability
Suppose that a function $f$ on the line satisfies $|f(x+2h)-2f(x+h)+f(x)|\le |h|^{3/2}$ for all $x,h$ real. Is it true that $f$ is differentiable and its derivative satisfies
$|f'(x+h)-f'(x)|\le c |h|^...
- 60.5k
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
6
votes
1
answer
791
views
Is there a continuous function $f$ satisfying the following Zygmund condition but not differentiable.
Suppose that a continuous function $f$ on the line and satisfies
$$
|f(x+2h)−2f(x+h)+f(x)|\leq const \frac{|h|}{(\log\frac{1}{|h|})^{\beta}}\,\,\,\,\,\,\text{where}\,\,\,\, \beta \in(0, 1]
$$
...
- 114k
17
votes
2
answers
905
views
Intersection of compact sets in the unit interval
Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr A\...
- 11.5k
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
7
votes
0
answers
340
views
Polynomials and divided differences
I would greatly appreciate any hint for proving the following.
Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then $...
CommunityBot
- 1
0
votes
0
answers
115
views
Quasi-simmetric function and bi-Lipschitz functions
Assume that $f$ is a homeomorphism of the unit circle onto itself. If $$1/M \le \frac{|f(e^{i(t+s)})-f(e^{i(t)})|}{|f(e^{i(t)})-f(e^{i(t-s)})|}\le M,$$ then we say that $f$ is $M-$quasi-symmetric ...
- 259
2
votes
1
answer
447
views
Original source for a well-known result of convergence in measure and almost everywhere
A well-known result in measure theory states that given a sequence $(f_n)_{n=1}^\infty$ of measurable functions from a $\sigma$-finite measure space $(X,\mathcal{A},\mu)$ to $\mathbb{R}$ then the ...
1
vote
1
answer
1k
views
How to verify the weak convergence?
Given a finite measure on a compact, take $f_n\in L^1$ with norms $\leq 1$ and suppose that $\int f_n g$ tends to a limit for all continuous $g$. Is it true that then $\int f_n g$ converge for any $g\...
- 60.5k
3
votes
1
answer
247
views
If $f(x)+f(2x)$ is quasianalytic, is $f(x)$ necessarily quasianalytic?
Assume that $f\in C^{\infty}$ and that $M_n$ is a sequence such that $$\sum_{n=0}^{\infty}\frac{M_n}{(n+1)M_{n+1}}=\infty$$
and for certain compact neighborhood of the origin $U$ of $\mathbb{R}$, ...
- 60.5k
1
vote
0
answers
196
views
Extension of diffeomorphisms preserving bilateral bounds of the derivatives
Suppose $f$ is a $C^k (1\leq k\leq\infty)$ function from the unit ball $\mathcal{B}$ in $\mathbb{R}^n$ to itself, which is a diffeomorphism from the domain to its image, with the upper and lower ...
- 31
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
3
votes
2
answers
2k
views
The extension of smooth function
If $U$ is a bounded domain in $\mathbb R^n$ whose boundary is smooth, and $f$ is a smooth function on $U$ whose partial derivatives of all orders have a continuous extensions to $\bar U$. For an ...
- 31
9
votes
1
answer
947
views
Do partitions of unity exist if we impose additional conditions on the derivatives?
Let $ ~~\cup_{k=-1}^{\infty} U_k = \mathbb{R} $ be an open covering of
$\mathbb{R}$. It is a well known fact that partitions of unity subbordinate to
the cover exists, i.e. there exists smooth
...
- 61.9k
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
1
answer
223
views
f_n(x,p) converge uniformly to nice f(x,p); do zeros of f_n(.,p) converge uniformly to zeros of f(.,p)?
Fix compact intervals $X, P \subseteq \mathbb{R}$.
Let $f_n : X \times P \to \mathbb{R}$ be a sequence of $C^2$ functions converging uniformly to a $C^2$ function $f$. The first and second ...
- 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
3
votes
1
answer
325
views
Measuring almost-critical values of smooth functions.
Consider a compact sub-manifold $X \subset \mathbb{R}^n$ of Euclidean space and let $f:X \to \mathbb{R}$ be any smooth function. Recall that $x \in X$ is a critical point of $f$ if the gradient $\...
- 60.5k
1
vote
2
answers
576
views
Dini condition and integrability condition
Assume that $A$ is an arbitrary positive integrable function on $[0,1]$. Whether exists a convex function $f_A(x)=x g(x)$ of $(0,+\infty)$ into itself (depending on $A$) such that $\lim_{x\to +\...
- 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
0
votes
1
answer
250
views
Equation in integers of irrational degree
Are there any algebraic irrational numbers in $\{log_xy|x,y\in\mathbb{N},x,y\geq2\}$?
- 39.9k
4
votes
1
answer
261
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
3
votes
0
answers
205
views
convolution of surface measures
Thanks for reading my question. Assume we are given two compact (possibly with boundary) $(n-1)$-dimensional $C^{\infty}$ manifolds $M_1$ and $M_2$ embedded in $\mathbb{R}^n$, with induced measure $d\...
- 171
4
votes
1
answer
164
views
An algebraically independent set of real as a range of an increasing function
Is there an strictly increasing function $f : \Bbb{R}\longrightarrow \Bbb{R}$ such that its image is algebraically independent (over $\Bbb{Q}$) ?
- 61.9k
2
votes
1
answer
433
views
bounding the absolute value of a trigonometric polynomial
Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
\...
CommunityBot
- 1
-2
votes
1
answer
395
views
non-trivial convergent sequence [duplicate]
I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)
can you give me a example of ...
7
votes
4
answers
6k
views
Numerically computing $\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$
In the book, "Pi and the AGM" by Borwein and Borwein, it is mentioned that Gauss computed the following integral to the eleventh decimal palce.
$\int_0^1 \frac{1}{\sqrt{1-x^4}}dx$
How did he do it? ...
- 5,432
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
1
vote
1
answer
133
views
Special finite subcover of a compact
Let $(a,b)\in \mathbb R^n$. We consider the following open cover of the compact line segment $[a,b]$: $$[a,b]\subset\underset{x\in [a,b]}{\bigcup}B(x,\rho_x),$$
where for $x\in K,B(x,\rho_x)$ is a ...
- 41.1k
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}$...
