# What are the densities of branches of the euclidean tree?

The Euclidean algorithm shows how all coprime pairs of positive integers can be uniquely obtained from the pair $(1,1)$ by applying the two operations $(a,b) \to (a+b,b)$ and $(a,b) \to (a,a+b)$.

(or speaking with rationals, all the positive rationals $x=b/a$ can be obtained from $1$ by applying the two operations $x \to x/(x+1)$ and $x \to x+1$).

Furthermore, we know that the natural density of coprime pairs among the pairs of positive integers is $6/\pi^2$.
This brings the question : do the set of all childrens of some pair $(a,b)$ have a natural density $d(a,b)$, and if so, what is it ?

Allowing to start from any pair of positive reals, we have that $d(ka,kb) = d(a,b)/k$ if those exist, which suggests that we can simply look for a function $d(1,b/a) = f(b/a)$.
We have, for symmetry reasons, $f(x) = f(1/x)/x$. We also have from the tree construction, the functional equation $f(x) = f(x+1) + f(x/(x+1))/(x+1)$.

Using the symmetry equation, we can rewrite this to get the nicer functional equation : $f(x) + f(1/x) = f(1/(x+1)) + f(x/(x+1))$.

So, is there anything interesting we can say about these functional equations ? How many continuous (or even, differentiable) solutions does the system have ? Does the density we started with have a nice closed-form expression ?

-

A simplification: let $f(x) = g(x) / \sqrt{x}$. Then the first functional equation says $g(x) = g(1/x)$ and the second says $$g(x) \sqrt{x+1} = g(x+1) \sqrt{x} + g((x+1)/x)$$ – Hurkyl Feb 25 at 17:17
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 17, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9403181672096252, "perplexity_flag": "head"}