olymmath

SCHWEITZER 2017 Problem 8

    Let the base 22 representation of x∈[0;1)x\in[0;1) be x=∑i=0∞xi2i+1x=\sum_{i=0}^\infty \frac{x_i}{2^{i+1}} . (If xx is dyadically rational, i.e. x∈{k2n :k,n∈Z}x\in\left\{\frac{k}{2^n}\,: k,n\in\mathbb{Z}\right\} , then we choose the finite representation.) Define function fn:[0;1)→Zf_n:[0;1)\to\mathbb{Z} by fn(x)=∑j=0n−1(−1)∑i=0jxi.f_n(x)=\sum_{j=0}^{n-1}(-1)^{\sum_{i=0}^j x_i}. Does there exist a function φ:[0;∞)→[0;∞)\varphi:[0;\infty)\to[0;\infty) such that lim⁡x→∞φ(x)=∞\lim_{x\to\infty} \varphi(x)=\infty and sup⁡n∈N∫01φ(∣fn(x)∣)dx<∞?\sup_{n\in\mathbb{N}}\int_0^1 \varphi(|f_n(x)|)\mathrm{d}x<\infty ?

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2017/p8 · Tag P6Q544Y94Z · Edit this page on GitHub · Keys: j next, k previous