Skip to main content
deleted 81 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\de\delta$For completeness, letLet us also present the Fourier transform argument, mentioned in the other answer.

The functionassuming that $F$$|F|$ is differentiable and hence continuous and hence locally integrable. Sobounded by a polynomial, so that $F$ may be considered a (tempered) distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some complex $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

$\newcommand\de\delta$For completeness, let us also present the Fourier transform argument, mentioned in the other answer.

The function $F$ is differentiable and hence continuous and hence locally integrable. So, $F$ may be considered a distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some complex $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

$\newcommand\de\delta$Let us also present the Fourier transform argument, assuming that $|F|$ is bounded by a polynomial, so that $F$ may be considered a (tempered) distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some complex $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

added 3 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\de\delta$For completeness, let us also present the Fourier transform argument, mentioned in the other answer.

The function $F$ is differentiable and hence continuous and hence locally integrable. So, $F$ may be considered a distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some realcomplex $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

$\newcommand\de\delta$For completeness, let us also present the Fourier transform argument, mentioned in the other answer.

The function $F$ is differentiable and hence continuous and hence locally integrable. So, $F$ may be considered a distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some real $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

$\newcommand\de\delta$For completeness, let us also present the Fourier transform argument, mentioned in the other answer.

The function $F$ is differentiable and hence continuous and hence locally integrable. So, $F$ may be considered a distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some complex $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)

Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\de\delta$For completeness, let us also present the Fourier transform argument, mentioned in the other answer.

The function $F$ is differentiable and hence continuous and hence locally integrable. So, $F$ may be considered a distribution (in the generalized-function sense). Let then $\hat F$ denote the Fourier transform of $F$.

Equation (1) in the other answer yields $$c_n\de(t)=\hat G_n(t)=e^{ita_n}\hat F(t)+e^{-ita_n}\hat F(t)-2\hat F(t) =2\hat F(t)(\cos ta_n-1),$$ where $\de$ is the delta function.

If the equality $\cos ta_n-1=0$ takes place for some real $t$ and all $n$, then $t=0$ (since the $a_n$'s are nonzero and go to $0$). So, the support of $\hat F$ is $\{0\}$. So (see e.g. "For every compact subset $K\subseteq U$ there exist constants $C_{K}>0$ and $N_{K}\in \mathbb {N}$ such that for all $f\in C_{c}^{\infty }(U)$ with support contained in $K$ [...]" here), we have $\hat F=\sum_{j=0}^n a_j\de^{(j)}$ for some $n\in\{0,1,\dots\}$ and some real $a_j$'s, where $\de^{(j)}$ is the $j$th derivative of the delta function $\de$. So, $F$ is a polynomial. Since the second difference $G_n$ of $F$ is (the) constant ($c_n$), it follows that the polynomial $F$ is quadratic. Thus, $f=F'$ is an affine function. (Vice versa, any affine function $f$ satisfies your system of functional equations.)