All Questions
5,976 questions
0
votes
1
answer
1k
views
surjective function from non-measurable sets
let $V$ be the vitali set and let $g:V\to\mathbb R$ be a surjective function. then the fuction $f:\mathbb R\to\mathbb R$ such that $f(x)=g([x])$ will be a function that is surjective in any interval ...
- 60.5k
1
vote
2
answers
1k
views
Is there a periodic function without minimum period such that all the possible periods are irrationals? [closed]
Let $f:\mathbb R\to\mathbb R$ be a periodic function. We say $f$ is without minimum period if, $\forall t$ such that $f(x+t)=f(x)\forall x$, there is a $t'$ such that $0<t'<t$ and $f(x+t')=f(x)\...
- 23.2k
0
votes
1
answer
606
views
Difference between spaces of integrable functions w.r.t Lebesgue measure and Borel measure [closed]
Is there a difference between
$L^p(\mathbb R,\mathfrak B,\beta)$ and $L^p(\mathbb R,\mathfrak L,\lambda)$ ?
Here I denoted by $\lambda$ the Lebesgue measure, defined on the Lebesgue
$\sigma$-algebra $\...
- 9,853
5
votes
3
answers
5k
views
Zeros of "exponential" function
Define ${f}_{i}(x) = \sum_{j=1}^{i} (-1)^{i-j}{i \choose j}j^x$, where $i=1,2,3,...$ and $x \in \mathbb{R}$.
For integer $x \geq i$, ${f}_{i}(x)$ reduces to ${f}_{i}(x)=i!S(x,i)$, where $S(x,i)$ is ...
CommunityBot
- 1
0
votes
1
answer
316
views
Modulo dynamics on [0,1)
For $T: \mathbb{R} \mapsto \mathbb{{R}_{+}}$, we have $\{ {T}^{n}(\theta)\ mod \ 1\} \subset [0,1)$. (where ${T}^{n}(\theta)$ means applying $T$ $n$ times on $\theta$, not the $n$th power of $T(\...
- 3,343
0
votes
1
answer
659
views
Under what condition will this set contain a limit point of [0,1)?
Let $T_1,T_2,....T_n$ be numbers such that
$T_k= k$ no. of digits in decimal expansion of an irrational number, say $\alpha$, starting from $(\frac{k(k-1)}{2}+1)^{th}$ digit in the decimal expansion. ...
- 60.5k
2
votes
1
answer
1k
views
On an eigenvalue inequality
Let $\lambda_1 (\cdot)$ be the larger absolute value
eigenvalue of a $2\times2$ matrix and $\lambda_2 (\cdot)$
the smaller absolute value eigenvalue of a $2\times2$ matrix, i.e.
$|\lambda_1 (\cdot)| \...
CommunityBot
- 1
6
votes
2
answers
1k
views
On the uncountability of zero sets
If $f$ is any real-valued function, we define its zero set $Z_f = \{ x : f(x) = 0 \}$. Obviously, the zero set of a nice function can be uncountable. e.g., if $f(x) = 0$ on an uncountable domain.
I ...
- 8,512
1
vote
2
answers
450
views
A smoothness of $f(\sqrt[p] x)$
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a smooth function let $p \in \mathbb{N}$, $p \geq 2$.
Assume that $f^{(k)}(0)=0$ for all $k \notin p \mathbb{N}$. Is it true that then $g(x)=f(\sqrt[p] x)$...
5
votes
1
answer
543
views
Acceleration via smoothing
Is the following approach to accelerating the rate of convergence of $(1+1/2+\dots+1/n)- \ln n$ (with $n=1,2,3,\dots$), and other sequences like it, in the literature?
Let $f(t)=(\sum_{1 \leq n \leq ...
CommunityBot
- 1
3
votes
1
answer
500
views
Hausdorff measure on product spaces of p-adic integers
This question came up (unexpectedly) in a problem I was working on a few years ago. It may not be too difficult but I never got around to figuring out the answer, because all I needed at that time was ...
- 23.2k
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
2
votes
1
answer
255
views
Quotients of perfect powers separated by an integer
Let $a_n=\frac{(n+1)^{n+2}}{n^n}$ and $b_n=\frac{(n+2)^{(n+1)}}{(n+1)^{n-1}}$. Then it is easy to see that $a_n \leq b_n$ for all integers $n\geq 1$ (because the sequence $(1+\frac{1}{n})^n$ is ...
- 1,723
4
votes
1
answer
627
views
Does such a smooth function exist?
I am looking for a $C^\infty $ function $g:\mathbb{R}^3\to \mathbb{R}^3$ such that $g(x)=0$ for $|x|\le 1$ and $g(x)=x$ for $|x|\ge 2$. Certainly such $g$ can be constructed, but I also want it to ...
CommunityBot
- 1
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 \...
CommunityBot
- 1
21
votes
3
answers
3k
views
Prime ideals in the ring of germs of continuous functions
We all know that the ring of germs of continuous functions at a point on, say $\mathbb{R}$, has a unique maximal ideal- namely, those functions that vanish at that point.
Can anyone think of a single ...
- 47.5k
4
votes
2
answers
371
views
Heights of several interesting posets
Let the height of a poset $P$ be the supremum of ordinals that are order types of all well-ordered subsets of $P$ (with order inherited from $P$).
Define several sets of total functions, in each ...
- 2,943
9
votes
2
answers
1k
views
Fourier transform of x2 invariant measure
Let $T:\mathbb{R}/\mathbb{Z}\rightarrow \mathbb{R}/\mathbb{Z}$ be the map defined by $T(x)=2x$, and suppose that $\mu$ is a $T$ invariant and ergodic Borel probability measure on the space, which is ...
- 1,723
1
vote
2
answers
1k
views
An interesting doubly infinite series
Let $0<\mu<1$ and $\alpha:=1-\mu^2$. Consider the function
$$f(x):=x\sum_{k=-\infty}^\infty\mu^{4k}e^{-\alpha\mu^{4k}x}-\frac{1}{x}\sum_{k=-\infty}^\infty\mu^{4k}e^{-\alpha\mu^{4k}/x},$$
...
CommunityBot
- 1
2
votes
0
answers
494
views
Characterization of weak Lebesgue spaces [closed]
I would be interested to know whether the following is true:
Let $\Omega$ be a bounded open set in $\mathbf{R}^n$. Let $g$ be a nonnegative function $g : \Omega \to \mathbf{R}$. If there is a ...
- 373
2
votes
0
answers
917
views
Guessing game with guess cost
This is a question about Problem 328 on the website Project Euler. A description of the problem is provided in the previous link. I was wondering if there has been any research done on this question. ...
- 4,952
11
votes
4
answers
5k
views
The metric space associated to a measure space
Let $(X, \mathcal{A}, \mu)$ be a measure space such that $\mu(X) < \infty$. We say that two measurable sets $A$ and $B$ are equivalent if $\mu (A \Delta B) = 0$. The equation $$ d(A,B) = \mu (A \...
- 148k
0
votes
1
answer
224
views
Special functions on the unit disk
Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk.
We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following:
1) it is a ...
- 1,271
1
vote
1
answer
6k
views
How to determine whether a multivariate function is bounded or not
Suppose there is a function $f:\mathbb{R}_+^n\mapsto \mathbb{R}$. Are there any systematic ways to determine whether the range of $f$ is bounded or not?
For example, there is a function $f(x,y)=-x^2+...
- 37.7k
1
vote
1
answer
420
views
density of a set
let $S=\{\sin (n)|n \in N\}$. We can prove $S$ is dense in $[-1,1]$. So is the set $\{\sin( n^2)|n \in N\}$; but the set $\{\sin (n^3)| n \in N\}$ is not dense in $[-1,1]$. How to prove this?
CommunityBot
- 1
6
votes
2
answers
929
views
reverse mathematics strength of "Lipschitz functions are somewhere differentiable"
What is the reverse mathematics strength of
"For all Lipschitz functions $\; f : \mathbb{R} \to \mathbb{R} \;$, $\;$ there exists a real number $x$ such that $f$ is differentiable at $x$." ?
(...
- 44.4k
2
votes
2
answers
711
views
Power function inequality
Let $x$ and $p$ be real numbers with $x \ge 1$ and $p \ge 2$ . Show that $(x - 1)(x + 1)^{p - 1} \ge x^p - 1$ .
I recently discovered this result. I am sure it is known, but it is new to me. It is ...
- 37.7k
9
votes
1
answer
10k
views
Can the supremum of continuous functions be discontinuous on a set of positive measure? [closed]
Given a sequence of continuous functions $f_n(x)$, all defined on a compact set $D$ and assuming $f_n(x)$ is uniformly bounded. Let $f(x) = sup_n f_n(x)$.
It is clear that $f(x)$ is not necessarily ...
- 1,546
1
vote
2
answers
382
views
A question about zeros of Tate type integral
Fix a positive integer $n$. Fix a continuous character $\chi$ of $\mathbb{R}^*$ with the form $\chi(x)=sign(x)|x|^t$ for some complex number $t$. If $\phi$ is a Schwartz function on $\mathbb{R}$, let $...
- 3,183
3
votes
0
answers
211
views
Elementary analysis: reference request
Given the continuous maps $[0,\infty) \to \mathbb R$ define the following "truncation at level $K$ operator", $T$:
$T(f)(t) = f(\min(t, S_f))$, where $S_f = \inf \{ s : f(s) \ge K \}$
So essentially ...
- 2,895
3
votes
3
answers
522
views
Closure of singular points
Let $f(x,y)$ be a complex degree $d$ polynomial that has this particular
form.
$$ f = \frac{f_{02}}{2} y^2 + \frac{f_{21}}{2} x^2 y +
\frac{f_{12}}{2} x y^2 + \frac{f_{03}}{6} y^3 + \frac{f_{40}}{...
- 1,811
5
votes
2
answers
560
views
implicit function theorem for algebraic sets
We know by the standard Implicit Function Theorem that
If $f:\mathbb R^4\rightarrow\mathbb
> R^2$ is a polynomial (or in fact any
continuously differentiable function),
then there is a ...
- 1,359
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}\...
- 28.6k
0
votes
0
answers
165
views
minimizing the integral of a function over square sets.
Hi!
I'm interested in some problems, but to be honest i'm not sure of the field they belong to.
Let $h(x,y)$ be a bivariate function on $X^2$, where $X$ is some nice topological space (for instance $...
- 1,352
9
votes
2
answers
2k
views
Does the Weierstrass function have a point of increase?
Problem
The Weierstrass function $W(x)$ is given by
$W(x)=\sum_{n\geq 0} a^n \cos(b^n \pi x)$
where $0< a <1$ and $b$ is an odd integer such that $ab > 1+3\pi/2$.
A function $f:\mathbb{R}\...
- 39.9k
-3
votes
1
answer
332
views
Convergence Question [closed]
If $\alpha _{n}\rightarrow \alpha$, then how does one show that for any j=1,2,... and $\epsilon> 0$, if $sup\int \left | x \right |^{j+\epsilon }d\alpha _{n}<\infty$, then $\int x^{j}d\alpha _{n}...
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,649
2
votes
3
answers
913
views
A definite integral
Hello,
I am trying to find an explicit form of the following definite integral. I have tried Mathematica and it failed to give an answer. I am wondering whether anyone knows this integral. It might ...
- 1,649
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.
- 2,135
10
votes
1
answer
1k
views
Real analytic function, injective, non surjective and preserving the rationals ?
I'd like to prove the non-existence of a real analytic function, injective, non-surjective
that sends rationals to rationals.
Is it a classical result ? If not, any hints on how to prove it ?
Thanks ...
CommunityBot
- 1
4
votes
2
answers
323
views
Is there a sufficient criteria to guarantee that $\lim_{n} a_{nn} = \lim_{m} \lim_{n} a_{mn}$ ?
Let $a_{mn}$ be a sequence in some $\mathbb{R}^k$. We know in advance that
$$\lim_{n} ~a_{nn} = L_1, \qquad
\lim_{m}~ \lim_{n} ~a_{mn} = L_2 $$
exist. Is there a sufficient criteria to conclude ...
- 4,729
2
votes
1
answer
276
views
Conformal Extension from a closed set to open
Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
- 108k
3
votes
0
answers
237
views
Monotonicity of a certain parametric integral
I would like to ask for some help (hints, ideas) in solving the following problem:
Given integer $n>0$ and real $\alpha>0,\beta>1$ we want to show, that
if we define for any $x\in\mathbb{R}...
- 696
1
vote
0
answers
346
views
Gauge integral of the derivative of a function except on a set of measure 0.
For the entire question, the interval I am integrating over is $[0,1]$.
Background: In order to exhibit an isometry from $L^2[0,1]$ into $l^2$, I need to either assume absolute continuity over some ...
- 783
8
votes
2
answers
471
views
Multiplying functions on the unit square as generalized matrices
Consider the $\mathbb{R}$-vector space of sufficiently nice real-valued functions on the unit square $I^2$, where "sufficiently nice" could be taken to mean any one of a number of things - say ...
- 3,908
4
votes
1
answer
561
views
Taylor Series Remainder
Suppose I have a $C^\infty$ smooth function $f$ defined on the reals.
I can apply Taylor's formula and get the local expression
$$
f(x) = \sum_{i=0}^l\frac{f^{(i)}(0)}{l!}x^i+ f^{(l+1)}(\xi(x))x^{l+...
- 60.5k
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)$ ?
- 7,857
4
votes
1
answer
222
views
a closed-form for mean/integral, but weighting positive differences between values and "mean" differently from negative differences?
Given a curve $f(x)$ (for $x \in [0,1]$), and a line $y=a$, let $U$ be the total area below $f$ and above $a$, and let $L$ be the total area above $f$ and below $a$. If $L=U$, this means that $a =\...
- 44.4k
4
votes
1
answer
306
views
ordered fields with the bounded value property, without choice
In his answer to my question ordered fields with the bounded value property, Ali Enayat showed that if one assumes the countable axiom of choice, then there exists a non-Archimedean ordered field $F$ ...
CommunityBot
- 1