Difference between revisions of "Van der Waerden function"

From specialfunctionswiki
Jump to: navigation, search
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
Define $s(x)=\inf_{n \in \mathbb{Z}} |x-n|$ (i.e. the distance from $x$ to the set of integers $\mathbb{Z}$). The van der Waerden function is defined by the formula
+
The van der Waerden function $V \colon \mathbb{R} \rightarrow \mathbb{R}$ is defined by the formula
$$V(x)=\displaystyle\sum_{k=0}^{\infty} \dfrac{s \left(10^k x \right)}{10^k}.$$
+
$$V(x)=\displaystyle\sum_{k=0}^{\infty} \dfrac{\mathrm{dist}_{\mathbb{Z}} \left(10^k x \right)}{10^k},$$
Note: to calculate $s(x)$ you may use $s(x)=\min \left(2^n x - \lfloor 2^n x \rfloor, \lceil 2^n x \rceil - x \right)$, where $\lfloor \cdot \rfloor$ denotes the [[floor]] function and $\lceil \cdot \rceil$ denotes the [[ceiling]] function.
+
where $\mathrm{dist}_{\mathbb{Z}}$ denotes the [[distance to integers]] function.
 
 
  
  
Line 11: Line 10:
 
</div>
 
</div>
 
=Properties=
 
=Properties=
<div class="toccolours mw-collapsible mw-collapsed">
+
[[van der Waerden function is continuous]] <br />
<strong>Theorem:</strong> The van der Waerden function is [[continuous]].
+
[[van der Waerden function is nowhere differentiable]]<br />
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed">
 
<strong>Theorem:</strong> The van der Waerden function is [[nowhere differentiable]] on $\mathbb{R}$.
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
  
 
=See Also=
 
=See Also=
Line 30: Line 18:
 
=References=
 
=References=
 
[https://pure.ltu.se/ws/files/30923977/LTU-EX-03320-SE.pdf] <br />
 
[https://pure.ltu.se/ws/files/30923977/LTU-EX-03320-SE.pdf] <br />
 +
 +
{{:Continuous nowhere differentiable functions footer}}
 +
 +
[[Category:SpecialFunction]]

Latest revision as of 03:33, 6 July 2016

The van der Waerden function $V \colon \mathbb{R} \rightarrow \mathbb{R}$ is defined by the formula $$V(x)=\displaystyle\sum_{k=0}^{\infty} \dfrac{\mathrm{dist}_{\mathbb{Z}} \left(10^k x \right)}{10^k},$$ where $\mathrm{dist}_{\mathbb{Z}}$ denotes the distance to integers function.


Properties

van der Waerden function is continuous
van der Waerden function is nowhere differentiable

See Also

Takagi function

References

[1]

Continuous nowhere differentiable functions