Return to Question

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

It's rather obviously true if $f$ is a polynomial and I'm hoping it is true in general, which is perhaps why I'm stuck.

Edit. I came across this problem in two different, but related contexts. I'll describe the easier one: given a positive continuous function $F : \mathbb{R} \rightarrow \mathbb{R}$ the functions $\kappa_\lambda(\theta) := F(\lambda\cos(\theta))$, with $\lambda > 0$, are all curvature functions of plane ovals evaluated at the point of the curve where $(\cos(\theta),\sin(\theta))$ is the normal vector if and only if $$ \int_0^{2\pi} e^{-i\theta} \kappa_\lambda(\theta) \, d\theta = \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. If $F$ is even, this is always the case, but does it have to be even? Well, after you decompose $F$ into even and odd parts and play around with this you come to the problem posed above and so nicely solved by Fedor Petrov and Mateusz Kw'asnicki below. Their solution readily implies that

A function $F : \mathbb{R} \rightarrow \mathbb{R}$ is even if and only if $$ \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. In other words, all the ovals will be centrally symmetric.

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

It's rather obviously true if $f$ is a polynomial and I'm hoping it is true in general, which is perhaps why I'm stuck.

Edit. I came across this problem in two different, but related contexts. I'll describe the easier one: given a positive continuous function $F : \mathbb{R} \rightarrow \mathbb{R}$, the functions $\kappa_\lambda(\theta) := F(\lambda\cos(\theta))$, with $\lambda > 0$, are all curvature functions of plane ovals evaluated at the point of the curve where $(\cos(\theta),\sin(\theta))$ is the normal vector if and only if $$ \int_0^{2\pi} e^{-i\theta} \kappa_\lambda(\theta) \, d\theta = \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. If $F$ is even, this is always the case, but does it have to be even? Well, after you decompose $F$ into even and odd parts and play around with this you come to the problem posed above and so nicely solved by Fedor Petrov and Mateusz Kw'asnicki below. Their solution readily implies that

A continuous function $F : \mathbb{R} \rightarrow \mathbb{R}$ is even if and only if $$ \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. In other words, all the ovals will be centrally symmetric.

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

It's rather obviously true if $f$ is a polynomial and I'm hoping it is true in general, which is perhaps why I'm stuck.

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

It's rather obviously true if $f$ is a polynomial and I'm hoping it is true in general, which is perhaps why I'm stuck.

Edit. I came across this problem in two different, but related contexts. I'll describe the easier one: given a positive continuous function $F : \mathbb{R} \rightarrow \mathbb{R}$ the functions $\kappa_\lambda(\theta) := F(\lambda\cos(\theta))$, with $\lambda > 0$, are all curvature functions of plane ovals evaluated at the point of the curve where $(\cos(\theta),\sin(\theta))$ is the normal vector if and only if $$ \int_0^{2\pi} e^{-i\theta} \kappa_\lambda(\theta) \, d\theta = \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. If $F$ is even, this is always the case, but does it have to be even? Well, after you decompose $F$ into even and odd parts and play around with this you come to the problem posed above and so nicely solved by Fedor Petrov and Mateusz Kw'asnicki below. Their solution readily implies that

A function $F : \mathbb{R} \rightarrow \mathbb{R}$ is even if and only if $$ \int_0^{2\pi} e^{-i\theta} F(\lambda\cos(\theta)) \, d\theta = 0 $$ for all $\lambda > 0$. In other words, all the ovals will be centrally symmetric.

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

I'm hoping this is true, and that"s perhaps why I'm stuck.

Let $f: [0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $f(0) = 0$. Is it true that if the integral $$ \int_0^{\pi/2} \sin(\theta) f(\lambda \sin(\theta)) \, d\theta $$ is zero for every $\lambda > 0$, then $f$ is identically zero?

It's rather obviously true if $f$ is a polynomial and I'm hoping it is true in general, which is perhaps why I'm stuck.