Math Challenge - July 2020

  • Challenge
  • Thread starter fresh_42
  • Start date
  • Featured
  • #1
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
1. (solved by @nuuskur ) Let ##V## be an infinite dimensional topological vector space. Show that the weak topology on ##V## is not induced by a norm. (MQ)

2. The matrix groups ##U(n)## and ##SL_n(\mathbb{C})## are submanifolds of ##\mathbb{C}^{n^2}=\mathbb{R}^{2n^2}##. Do they intersect transversely? (IR)

3. (solved by @zinq ) Let ##f:\mathbb{R}\to \mathbb{R},\quad f>0## be a continuous and ##1-##periodic function. Show that
$$\int_0^1\frac{f(x+a)}{f(x)}dx\ge 1$$ for any ##a\in\mathbb{R}##. (WR)

4. (solved by @nuuskur ) Prove that ##C[0,1]## is not dual to a Banach space. (WR)

5. (solved by @julian , @mathwonk ) Let ##(M,g)## be a Riemannian manifold. Let ##f:M\to\mathbb{R}## be a smooth function such that ##|\nabla f|=1## everywhere on ##M##. Show that all integral curves of ##\nabla f## are geodesics. (IR)

6. (solved by @Incand ) Let ##f: (a,b) \to \mathbb{R}## be a continuous function that is midpoint convex, i.e. ##f(\frac{1}{2}x + \frac{1}{2}y) \leq \frac{1}{2}f(x) + \frac{1}{2}f(y)## for all ##x,y \in (a,b)## . Show that ##f## is convex, i.e. ##f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)## for all ##x,y \in (a,b)## and ##0 \leq t \leq 1##. (MQ)

7. (solved by @nuuskur ) Consider ##D:=\{f: \mathbb{R} \to \mathbb{R}\mid \mathrm{\ f \ is \ not \ continuous}\}##. What is the cardinality of ##D##? (MQ)

8. (solved by @zinq ) Let ##X## be a compact manifold such that ##\pi_1(X)## (the fundamental group of ##X##) is finite and nontrivial. Show that ##\pi_k(X)## is also non-trivial for some ##k\geq 2.## (IR)

9. (solved by @mathwonk ) Let ##(X,d)## be a compact metric space and ##f:X\to X## be a mapping onto. Assume that ##d(f(x),f(y))\le d(x,y),\quad \forall x,y\in X.## Show that ##d(f(x),f(y))= d(x,y),\quad \forall x,y\in X.## (WR)

10. (solved by @etotheipi ) Calculate the electrostatic potential ##U(a)## of a surface ##S=\{\,(x,y,z)\in \mathbb{R}^3\,|\,x^2+y^2=z^2,\,0\leq z\leq 1\,\}## charged with a field of homogeneous density ##\rho## at the point ##a=(0,0,1)##. (FR)



1593601425799.png


High Schoolers only


11.
(solved by @Isaac0427 , @ItsukaKitto ) Prove that the product of a finite number of sums of two integers squares is again a sum of two integers squared.
$$
(a_1^2+b_1^2)\cdot (a_2^2+b_2^2)\cdot \ldots \cdot (a_n^2+b_n^2)=a^2+b^2
$$

12. (solved by @etotheipi ) Given a positive integer in decimal representation without zeros. We build a new integer by concatenation of the number of even digits, the number of odd digits, and the number of all digits (the sum of the former two). Then we proceed with that number.
Determine whether this algorithm always comes to a halt. What is or should be the criterion to stop?

13. (solved by @Lament ) List all real functions ##f\, : \,\mathbb{R}\longrightarrow \mathbb{R}## with the following properties:
\begin{align*}
f(xy)&=f(x)f(y)-f(x)-f(y)+2\\
f(x+y)&=f(x)+f(y)+2xy-1\\
f(1)&=2
\end{align*}

14. (solved by @ItsukaKitto ) Find all real solutions ##(x,y)## such that
$$
\sin^4x = y^4+x^2y^2-4y^2+4\, , \,\cos^4x=x^4+x^2y^2-4x^2+1
$$

15. (solved by @etotheipi , @Adesh) Prove
$$
\dfrac{(2n)!}{(n!)^2}>\dfrac{4^n}{n+1}
$$
for all natural numbers ##n>1.##
 
Last edited:
  • Like
Likes etotheipi and Infrared

Answers and Replies

  • #2
etotheipi
The statement holds for ##n=2##, now assume for ##n=k## that$$\dfrac{(2k)!}{(k!)^2}>\dfrac{4^k}{k+1}$$Then for ##n=k+1##,$$\dfrac{(2(k+1))!}{((k+1)!)^2} = \frac{2(2k+1)}{k+1} \dfrac{(2k)!}{(k!)^2} > \frac{2(2k+1)}{k+1} \dfrac{4^k}{k+1} = \frac{(2\times 4^k)(2k+1)}{(k+1)^2}$$Now consider the expression $$\frac{(2\times 4^k)(2k+1)}{(k+1)^2} - \frac{4^{k+1}}{k+2} = 2 \times 4^k \left (\frac{2k+1}{(k+1)^2} - \frac{2}{k+2} \right) = 2 \times 4^k \left( \frac{k}{(k+1)^2 (k+2)} \right) > 0$$ since ##k>1##. That means that $$\dfrac{(2(k+1))!}{((k+1)!)^2} > \frac{4^{k+1}}{(k+1)+1}$$so if the statement is true for ##n=k## it also holds for ##n=k+1##. Hence the statement is true for all ##n \in \mathbb{N}##
 
Last edited by a moderator:
  • Like
Likes Infrared, member 587159, berkeman and 1 other person
  • #3
334
47
We study the inequality
\begin{equation}
f(tx+(1-t)y) \le tf(x)+(1-t)f(y).
\end{equation}
Take points ##x,y \in (a,b)##. We know the inequality is satisfied for ##t=1/2##.

By using the midpoint inequality for the points ##x,y,(x+y)/2## we also get that the inequality is true for ##t=1/4,3/4##. Proceeding iteratively this way we get that the inequality is true for any ##t## of the form
\begin{equation}
t = \frac{m}{2^n},
\end{equation}
for ##m,n\in \mathbb{Z}^+## with ##m\le 2^n##. (Cf. binary search.)

Next we show that the fractions of the above form are dense in ##[0,1]##. For any ##r\in [0,1]## and ##n\in \mathbb{Z}^+## we have with an appropriate choice of ##m## that
\begin{equation}
|r-\frac{m}{2^n}| \le \frac{1}{2^n},
\end{equation}
which we can make arbitrary small by increasing ##n##.

Since ##\mathbb{R}## is Hausdorff, ##f## is determined by its valued on a dense subset. This forces the inequality for all ##t\in [0,1]##.
 
  • Like
Likes member 587159
  • #4
member 587159
We study the inequality
\begin{equation}
f(tx+(1-t)y) \le tf(x)+(1-t)f(y).
\end{equation}
Take points ##x,y \in (a,b)##. We know the inequality is satisfied for ##t=1/2##.

By using the midpoint inequality for the points ##x,y,(x+y)/2## we also get that the inequality is true for ##t=1/4,3/4##. Proceeding iteratively this way we get that the inequality is true for any ##t## of the form
\begin{equation}
t = \frac{m}{2^n},
\end{equation}
for ##m,n\in \mathbb{Z}^+## with ##m\le 2^n##. (Cf. binary search.)

Next we show that the fractions of the above form are dense in ##[0,1]##. For any ##r\in [0,1]## and ##n\in \mathbb{Z}^+## we have with an appropriate choice of ##m## that
\begin{equation}
|r-\frac{m}{2^n}| \le \frac{1}{2^n},
\end{equation}
which we can make arbitrary small by increasing ##n##.

Since ##\mathbb{R}## is Hausdorff, ##f## is determined by its valued on a dense subset. This forces the inequality for all ##t\in [0,1]##.

Yes! Well done! The key is indeed to realise that the so called dyadic rationals
$$D:= \left\{\frac{m}{2^n}\mid 0 \leq n; 0 \leq m \leq 2^n\right\}$$ are dense in ##[0,1]##.
 
  • #5
Summary:: Functional Analysis, Topology, Differential Geometry, Analysis, Physics
Authors: Math_QED (MQ), Infrared (IR), Wrobel (WR), fresh_42 (FR).

High Schoolers only
I just graduated high school...do I count?
 
  • Like
Likes Greg Bernhardt
  • #6
Delta2
Homework Helper
Insights Author
Gold Member
4,592
1,874
I find the formulation of 10. a bit strange. @fresh_42 Does it mean to find the potential U(a) at point a, created by the given surface that is charged with a uniform surface charge density ##\rho##?
Also for 2. what's the definition of 1-periodic.
 
  • Like
Likes etotheipi and Adesh
  • #7
735
188
Also for 2. what's the definition of 1-periodic.
I confirmed it with some people and they said it means a function with period as ##1##, that is ##f(x+1)=f(x)##.
 
  • Like
Likes wrobel and Delta2
  • #8
member 587159
I just graduated high school...do I count?

Yes. Definitely.
 
  • #9
etotheipi
I'm pretty sure this is massively incorrect, but in any case I'll write it up.

A ring-shaped surface element on the cone at a height ##z## has charge ##\rho dA = 2\sqrt{2} \pi \rho z dz##, and the distance ##d## from this element to the point ##a## is ##d = \sqrt{2z^2 -2z + 1}##. That means $$dU = \frac{2\sqrt{2} \pi \rho z}{4\pi \epsilon_0 \sqrt{2z^2 -2z + 1}}dz$$ $$U = \frac{\rho}{2 \epsilon_0} \int_0^1 \frac{z}{\sqrt{z^2 -z+\frac{1}{2}}} dz$$Then we let ##u = z-\frac{1}{2}##, so that$$\begin{align*}

U = \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{u}{\sqrt{u^2 + \frac{1}{4}}} + \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du &= \frac{\rho}{2\epsilon_0} \left[\text{arsinh}({2u}) \right]_{0}^{\frac{1}{2}} \\

&= \frac{\rho}{2\epsilon_0} \text{arsinh}(1)

\end{align*}
$$
 
Last edited by a moderator:
  • #10
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
I'm pretty sure this is massively incorrect, but in any case I'll write it up.

A ring-shaped surface element on the cone at a height ##z## has charge ##\rho dA = 2\sqrt{2} \pi \rho z dz##, and the distance ##d## from this element to the point ##a## is ##d = \sqrt{2z^2 -2z + 1}##. That means $$dU = \frac{2\sqrt{2} \pi \rho z}{4\pi \epsilon_0 \sqrt{2z^2 -2z + 1}}dz$$ $$U = \frac{\rho}{2 \epsilon_0} \int_0^1 \frac{z}{\sqrt{z^2 -z+\frac{1}{2}}} dz$$Then we let ##u = z-\frac{1}{2}##, so that$$\begin{align*}

U = \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{u}{\sqrt{u^2 + \frac{1}{4}}} + \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du &= \frac{\rho}{2\epsilon_0} \left[\text{arsinh}({2u}) \right]_{0}^{\frac{1}{2}} \\

&= \frac{\rho}{2\epsilon_0} \text{arsinh}(1)

\end{align*}
$$
I consider the density includes permittivity, but this isn't important. What is your result?
 
  • #11
etotheipi
I consider the density includes permittivity, but this isn't important. What is your result?

If the density includes the permittivity, then I get about ##U = \frac{1}{2}\text{arsinh}(1)\rho \approx 0.441 \rho##...
 
  • #12
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
If the density includes the permittivity, then I get about ##U = \frac{1}{2}\text{arsinh}(1)\rho \approx 0.441 \rho##...
I meant the exact real number. Your potential integral looks ok, modulo constant factors, but what is ##x## in ##U(a)=x\cdot \rho\;##?

##0.4...## is wrong, but as you didn't show anything I cannot tell where or whether you were mistaken anywhere. It looks as if you failed on the lower bound of the integral.
 
  • #13
etotheipi
I meant the exact real number. Your potential integral looks ok, modulo constant factors, but what is ##x## in ##U(a)=x\cdot \rho\;##?

##0.4...## is wrong, but as you didn't show anything I cannot tell where or whether you were mistaken anywhere.

I guess in that case I would have ##x = \frac{\ln{(1+\sqrt{2}})}{2}##... it's very likely I've messed up so I'll have another look. Numerically that's the same as what I get if I calculate the first integral involving ##z##
 
  • #14
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
I guess in that case I would have ##x = \frac{\ln{(1+\sqrt{2}})}{2}##... it's very likely I've messed up so I'll have another look.
Close ... but wrong denominator and missing ##\pi##.

I hope I didn't make the mistake. But where did you get the zero from in the lower bound?
 
  • #15
etotheipi
and missing ##\pi##.

That is strange... for me the ##\pi##'s cancel :nb)

I hope I didn't make the mistake. But where did you get the zero from in the lower bound?

For that I just used the fact that the second term in the integrand is an even function.
 
  • #16
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
That is strange... for me the ##\pi##'s cancel :nb)



For that I just used the fact that the second term in the integrand is an even function.
The ##\pi## comes in by the parametrization of the surface. O.k. it may cancel depending on the definition of ##\rho##. I used the formula
$$
U(a)=\int\int_S \dfrac{\rho}{|x-a|}\,dO
$$
##\operatorname{arsinh}## isn't even and I haven't your second term at all. But as you didn't show us what you have done, we discuss it here instead.
 
  • #17
etotheipi
##\operatorname{arsinh}## isn't even.
I meant$$\begin{align*}
U &= \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{u}{\sqrt{u^2 + \frac{1}{4}}} + \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2 \epsilon_0} \int_{0}^{\frac{1}{2}} \frac{1}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2\epsilon_0} \left[\text{arsinh}({2u}) \right]_{0}^{\frac{1}{2}}

\end{align*}
$$because ##\frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}}## is even and ##\frac{u}{\sqrt{u^2 + \frac{1}{4}}}## is odd.
 
  • #18
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
I have ##U(a)=2\,\pi\rho\,\int_0^1 \dfrac{t}{\sqrt{t^2-t+\frac{1}{2}}}\,dt \,,## too, but then we differ. Maybe I used a different split than you. I have no idea what you did between the above integral and the ##u-##substitution.
 
  • #19
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
I meant$$\begin{align*}
U &= \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{u}{\sqrt{u^2 + \frac{1}{4}}} + \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2 \epsilon_0} \int_{-\frac{1}{2}}^{\frac{1}{2}} \frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2 \epsilon_0} \int_{0}^{\frac{1}{2}} \frac{1}{\sqrt{u^2 + \frac{1}{4}}} \, du \\

&= \frac{\rho}{2\epsilon_0} \left[\text{arsinh}({2u}) \right]_{0}^{\frac{1}{2}}

\end{align*}
$$because ##\frac{\frac{1}{2}}{\sqrt{u^2 + \frac{1}{4}}}## is even and ##\frac{u}{\sqrt{u^2 + \frac{1}{4}}}## is odd.
As you basically solved it and we are only discussing the integration, would you agree if I gave you the credits and post my calculation instead, so that people can read the solution in one step instead of spread all over the place?
 
  • #20
etotheipi
As you basically solved it and we are only discussing the integration, would you agree if I gave you the credits and post my calculation instead, so that people can read the solution in one step instead of spread all over the place?

I don't mind 😁, but I think we agree on the integration of ##\int_0^1 \dfrac{t}{\sqrt{t^2-t+\frac{1}{2}}}\,dt##, it's just that your leading factor was ##2\pi \rho## and mine was ##\frac{\rho}{2}## (or with the ##\epsilon_0## added in, ##\frac{\rho}{2\epsilon_0}##).
 
  • #21
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
The general formula (Coulomb) for the potential is
$$
U(a)=\int\int_S \dfrac{\rho}{|x-a|}\,dO
$$
With the parameterization ##\Phi(t,\varphi)=(t\cos\varphi,t\sin\varphi,t)## we get ##\Phi_t=(\cos \varphi,\sin \varphi ,1)## and ##\Phi_\varphi=(-t\sin \varphi,t\cos\varphi,0)##. The fundamental quantities are $$E=\Phi_t\cdot \Phi_t\, , \,F=\Phi_t\cdot \Phi_\varphi\, , \,G=\Phi_\varphi \cdot \Phi_\varphi$$
These are in our case ##E=2,\,F=0,\,G=t^2## and the scalar surface element is ##dO=\sqrt{EG-F^2}\,dt\,d\varphi= \sqrt{2}t\,dt\,d\varphi## since ##t\geq 0.## Thus
\begin{align*}
U(a)&=\int_0^1 \int_0^{2\pi} \dfrac{\rho}{\sqrt{(t\cos \varphi - 0)^2+(t\sin\varphi-0)^2+(t-1)^2}} \sqrt{2}t\,dt\,d\varphi \\
&=\int_0^1 dt\int_0^{2\pi}d\varphi\, \,\dfrac{\sqrt{2}\rho\, t}{\sqrt{t^2+(t-1)^2}}=2\,\pi\rho\,\int_0^1 \dfrac{t}{\sqrt{t^2-t+\frac{1}{2}}}\,dt\\
&=2\,\pi\rho\,\int_0^1 \dfrac{1}{2}\left(\dfrac{2t-1}{\sqrt{t^2-t+\frac{1}{2}}} + \dfrac{1}{2\sqrt{t^2-t+\frac{1}{2}}}\right)\\
&=\pi\rho \left[\sqrt{t^2-t+\frac{1}{2}}\right]_0^1 +\pi\rho \int_0^1\dfrac{dt}{\sqrt{t^2-t+\frac{1}{2}}}\\
&\stackrel{\tau=t-1/2}{=}\pi\rho \int_{-1/2}^{1/2}\dfrac{d\tau}{\sqrt{\tau^2+\frac{1}{4}}}=\pi\rho \int_{-1/2}^{1/2}\dfrac{d(2\tau)}{\sqrt{(2\tau)^2+1}}\\
&=\pi\rho \left[\operatorname{arsinh}(2\tau)\right]_{-1/2}^{1/2}=\pi\rho \left[\log\left(2\tau + \sqrt{(2\tau)^2+1}\right)\right]_{-1/2}^{1/2}\\
&=\pi\rho \log\left(\dfrac{1+\sqrt{2}}{-1+\sqrt{2}}\right)=(\log(3+2\sqrt{2}))\pi\rho
\end{align*}
 
  • #22
etotheipi
The general formula (Coulomb) for the potential is
$$
U(a)=\int\int_S \dfrac{\rho}{|x-a|}\,dO
$$

I think it is because I am using the form of Coulomb's law equivalent to $$U(a) = \int \int_S \frac{\rho}{4 \pi \epsilon_0 |x - a|} dO$$That would explain the factor of ##4## between our answers, in addition to the un-cancelled ##\pi## in yours.
 
  • #23
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
I think it is because I am using the form of Coulomb's law equivalent to $$U(a) = \int \int_S \frac{\rho}{4 \pi \epsilon_0 |x - a|} dO$$That would explain the factor of ##4## between our answers, in addition to the un-cancelled ##\pi## in yours.
Sure, but I think you've made an integration error anyway. You skipped what was my lines 3 and 4 in the above calculation and that's where the problems with your solution started. As a result we had different lower limits in the final term.
 
  • #24
etotheipi
Sure, but I think you've made an integration error anyway. You skipped what was my lines 3 and 4 in the above calculation and that's where the problems with your solution started. As a result we had different lower limits in the final term.

When I do $$I = \int_0^1 \frac{z}{\sqrt{z^2 -z+\frac{1}{2}}} dz$$ on my calculator (which you have in line 2), I get ##I = 0.881##, which is the same as ##\text{arsinh}(1)## in my answer.

And the ratio of our answers is $$\frac{\ln{(3+2\sqrt{2})}\pi \rho}{\frac{\rho}{2\epsilon_0} \text{arsinh}(1)} = 4 \pi \epsilon_0$$So I think everything just comes down to the form of Coulomb's law.
 
  • #25
fresh_42
Mentor
Insights Author
2021 Award
15,950
14,405
When I do $$I = \int_0^1 \frac{z}{\sqrt{z^2 -z+\frac{1}{2}}} dz$$ on my calculator (which you have in line 2), I get ##I = 0.881##, which is the same as ##\text{arsinh}(1)## in my answer.

And the ratio of our answers is $$\frac{\ln{(3+2\sqrt{2})}\pi \rho}{\frac{\rho}{2\epsilon_0} \text{arsinh}(1)} = 4 \pi \epsilon_0$$So I think everything just comes down to the form of Coulomb's law.
I concentrated on the difference between my ##\operatorname{arsinh}(1)-\operatorname{arsinh}(-1)## and your ##\operatorname{arsinh}(1)-0##. But as ##\operatorname{arsinh}## is an odd function, this difference could well be hidden in a factor ##2## and we are debating about literally nothing. A typical confusion online versus us in front of a blackboard with a piece of chalk in hand each.
 

Related Threads on Math Challenge - July 2020

Replies
104
Views
10K
Replies
33
Views
6K
Replies
107
Views
12K
Replies
52
Views
7K
Replies
156
Views
11K
Replies
77
Views
10K
  • Last Post
3
Replies
61
Views
7K
Replies
98
Views
8K
Replies
64
Views
11K
Replies
150
Views
12K
Top