0
$\begingroup$

A function $f(x)$ is defined $\forall x \in \mathbb{Q}$ and $ x \in (0,1)$ as $f(x) = q $ where $x = (p/q)$ in simplest form. Find $\sup_{\tau} \quad \min_{a} \quad f(a) + f(\tau-a)$ where $ a \in \mathbb{Q}$ and $ a \in (0,1)$ and $ \tau \in (\alpha,\beta)$ where $ 0< \alpha < \beta <2 $ and $ \alpha,\beta \in \mathbb{Q} $. $\sup$ and $\min$ are taken over only those $x$ where $f(x)$ is defined. Is the supremum infinity ?

EDIT

The supremum may or may not depend on $\alpha$ and $\beta$...this has not been ruled out.


EDIT 2

I will try something !

Consider $\tau = l/m$ where $l,m \in \mathbb{N}$ in simplest form and $\tau \in \mathbb{Q}\cap(0,2)$.

what is minimum possible value of $q$ where $\tau-a = p/q $ written in simplest form such that $a \in \mathbb{Q} \cap (0,1)$ and $(\tau-a) \in (0,1)$.

As Yuval Filmus suggested in his answer...

one way to choose $a$ is that it has same denominator (in simplest form) as that of $\tau$ and numerator $n$ such that $l-n$ is relatively prime to $m$, (If such a choice is possible under given conditions), then $f(a)+f(\tau-a)$ becomes $2m$.

The question is whether such a choice leading to $f(a)+f(\tau-a) = 2m$ is the minimum possible value ? If not I request you to give a counter example.

If it is, then the supremum (over $\tau$ varying in any arbitrary open interval contained in $(0,2)$) is $\infty$ as we can increase $m$ arbitrarily by varying $\tau$ in any arbitrary open interval $(\alpha,\beta)$.

EDIT 3

small change in Question...instead of $0<\alpha<\beta<2$ we have $-1<\alpha<\beta<1$

this change is not made with any intention of bringing out a certain solution.Also its influence on the solution is hoped to be very small.Inconvenience is regretted.

  • 0
    I badly need some help atleast to get started somewhere2010-11-28

2 Answers 2

2

EDIT: This is a consolidated solution which previously appeared in parts.

Lemma 1. For each natural $M$ and real $\alpha < \beta$ there's a rational number in $(\alpha,\beta)$ whose reduced form has a denominator larger than $M$.

Proof. Choose some power of two $2^n > \max\left(M, \frac{2}{\beta-\alpha}\right)$. Since $2^{-n} < \frac{\beta-\alpha}{2}$, there are at least two fractions of the form $x/2^n$ in $(\alpha,\beta)$. One of them has odd $x$ and so is in reduced form.

Lemma 2. If $p_1/q_1 + p_2/q_2 = P/Q$, all rationals in reduced form, then $(q_1+q_2)^2 \geq 4Q$.

Proof. Taking a common denominator, $\frac{p_1 q_2 + p_2 q_1}{q_1q_2} = \frac{P}{Q}$ and so $Q|q_1q_2$ (since $P/Q$ is reduced). In particular $Q \leq q_1q_2 \leq \left(\frac{q_1+q_2}{2}\right)^2$, where the last inequality is the arithmetic-geometric mean inequality.

Theorem. For every real $M$ and reals $\alpha < \beta$ there is a rational $r \in (\alpha,\beta)$ such that $\min_{a \in \mathbb{Q}} f(a) + f(r-a) > M$.

Proof. Using lemma 1, take a rational $r \in (\alpha,\beta)$ with denominator $Q > M^2/4$. Using lemma 2, we conclude that for every rational $a$, $f(a) + f(r-a) \geq 2\sqrt{Q} = M$.

Corollary. $\sup_r \min_a f(a) + f(r-a) = \infty.$

  • 0
    @Yuval Filmus: I request you to make the answer more readable even for a person who has'nt made any attempt at the solution.This way it would be more helpful for any reader.2010-11-28
1

For a given $\tau=\frac{1}{q}, q$ prime it seems that $a$ should be (perhaps among other choices) $\frac{\tau}{2}$ with $\sup_{\tau} \quad \min_{a} \quad f(a) + f(\tau-a)=2q$. Can you prove this? If so, then the sup over $\tau$ is infinity as you can find $\tau$ with arbitrarily large denominator.

  • 0
    You are right. I think the same argument can be made for any $\tau=\frac{p}{q}$ with $q$ prime. The frightening thing is for $\frac{1}{n(n+1)}$, where $\frac{1}{n}$ and $\frac{1}{n+1}$ work for a sum of 2n+1. Even that goes to infinity with $\tau$, but only as the square root.2010-11-28