Abstract

Authors

T. Popoviciu
Institutul de Calcul

Keywords

?

Paper coordinates

T. Popoviciu, Asupra unor ecuaţii funcţionale, Studii și cercetări științifice (Cluj), Seria I, tom. VI, nr. 34, pag. 37-49 (1955).

PDF

About this paper

Journal

Studii si Cercetari Matematice

Publisher Name

Academy of the Republic of S.R.

Print ISSN
Online ISSN

google scholar link

??

Paper (preprint) in HTML form

Original text
Rate this translation
Your feedback will be used to help improve Google Translate

On some functional equations

n+1n+1

f0​(x),F1​(x),…,fn​(x),f_{0}\left(x\right),F_{1}\left(x\right),\ldots,f_{n}\left(x\right),

It isIt is.

It isIt is can be foundn+1n+1 cand,and=0,1,…,c_{i},i=0,1,\ldots, HAVE∑and=0ncand​fand​(x)=0\sum_{i=0}^{n}c_{i}f_{i}\left(x\right)=0, whatever it isx∈It isx\in E.

It isIt is n+1n+1

V​(f0,f1,…,fnx1,x2,…,xn+1)=‖fj−1​(xj)‖and,j=1,2,…,n+1.V\binomial{f_{0},f_{1},\ldots,f_{n}}{x_{1},x_{2},\ldots,x_{n+1}}=\left\|f_{j-1}\left(x_{j}\right)\right\|_{i,j=1,2,\ldots,n+1}.

on the pointsx∈It is,and=1,2,…,n+1x\in E,i=1,2,\ldots,n+1 andand jj

V​(1,x,x2,…,xnx1,x2,…,xn+1)=V​(x1,x2,…,xn+1)V\binomial{1,x,x^{2},\ldots,x^{n}}{x_{1},x_{2},\ldots,x_{n+1}}=V\left(x_{1},x_{2},\ldots,x_{n+1}\right)

x1,x2,…,xn+1x_{1},x_{2},\ldots,x_{n+1},

[x1,x2,…,xn+1;f]=V​(1,x,…,xn−1,fx1,x2,…,xn+1)V​(x1,x2,…,xn+1)\left[x_{1},x_{2},\ldots,x_{n+1};f\right]=\frac{V\binomial{1,x,\ldots,x^{n-1},f}{x_{1},x_{2},\ldots,x_{n+1}}}{V\left(x_{1},x_{2},\ldots,x_{n+1}\right)}

f​(x)f\left(x\right) x1,x2,…,xn+1x_{1},x_{2},\ldots,x_{n+1}.

It isIt is

V​(f0,f1,…,fnx1,x2,…,xn+1)=0V\binomial{f_{0},f_{1},\ldots,f_{n}}{x_{1},x_{2},\ldots,x_{n+1}}=0

xand∈It is,and=1,2,…,n+1x_{i}\in E,i=1,2,\ldots,n+1.

Forn=0n=0 true fornn and forn+1n+1

fand​(x),and=0,1,…,n−1f_{i}\left(x\right),i=0,1,\ldots,n-1

existnnpuncture xand∈It is,and=1,2,…,nx_{i}\in E,i=1,2,\ldots,n,

V​(f0,f1,…,fn−1x1,x2,…,xn)≠0V\binomial{f_{0},f_{1},\ldots,f_{n-1}}{x_{1},x_{2},\ldots,x_{n}}\neq 0

But

V​(f0,f1,…,fnx1,x2,…,xn,x)=0V\binomial{f_{0},f_{1},\ldots,f^{n}}{x_{1},x_{2},\ldots,x_{n},x}=0

whateverx∈It isx\in E.

2. It isIt is It isIt is. n+1n+1puncturexand,and=1,2,…,n+1x_{i},i=1,2,\ldots,n+1 It isIt is

V​(f0,f1,…,fnx1,x2,…,xn+1)≠0.V\binomial{f_{0},f_{1},\ldots,f_{n}}{x_{1},x_{2},\ldots,x_{n+1}}\neq 0.

the distinct points x1,x2,…,xn+1x_{1},x_{2},\ldots,x_{n+1} It isIt is. on the crowdIt isIt is.

any system ofn+1n+1 xand,and=1,2,…,n+1x_{i},i=1,2,\ldots,n+1, n+1n+1 yand,and=1,2,…,n+1y_{i},i=1,2,\ldots,n+1

yy, xand,and=1,2,…,n+1x_{i},i=1,2,\ldots,n+1.

3. It isIt is [A,b]\left[a,b\right].

how many pointsx1,x2,…,xn+1x_{1},x_{2},\ldots,x_{n+1} in order x1<x2<xn+1x_{1}<x_{2}<x_{n+1} find the points xand′,xand",and=1,2,…,n+1x_{i}^{\prime},x_{i}^{\prime\prime},i=1,2,\ldots,n+1 It isIt is

x1′<x2′<…<xn+1′,x1"<x2"<…<xn+1"x_{1}^{\prime}<x_{2}^{\prime}<\ldots<x_{n+1}^{\prime},\ x_{1}^{\prime\prime}<x_{2}^{\prime\prime}<\ldots<x_{n+1}^{\prime\prime}

and

V&ZeroWidthSpace;(f0,f1,…,fnx1′,x2′,…,xn+1′)>0,V&ZeroWidthSpace;(f0,f1,…,fnx1",x2",…,xn+1")≤0.V\binomial{f_{0},f_{1},\ldots,f_{n}}{x_{1}^{\prime},x_{2}^{\prime},\ldots,x_{n+1}^{\prime}}>0,\ V\binomial{f_{0},f_{1},\ldots,f_{n}}{x_{1}^{\prime\prime},x_{2}^{\prime\prime},\ldots,x_{n+1}^{\prime\prime}}\leq 0.

xand=λ&ZeroWidthSpace;xand"+(1−λ)&ZeroWidthSpace;xand′,and=1,2,…,n+1x_{i}=\lambda x_{i}^{\prime\prime}+\left(1-\lambda\right)x_{i}^{\prime},i=1,2,\ldots,n+1, λ\lambdaforλ∈[0,1]\lambda\in\left[0,1\right], λ=0\lambda=0,

λ=1\lambda=1So there is aλ,0<λ<1\lambda,0<\lambda<1 suchλ\lambda xandx_{i}

△h(x;f0,f1,…,fn)=V&ZeroWidthSpace;(f0,f1,…,fnx,x+h,x+2&ZeroWidthSpace;h,…,x+n&ZeroWidthSpace;h)\bigtriangleup_{h}\left(x;f_{0},f_{1},\ldots,f_{n}\right)=V\binomial{f_{0},f_{1},\ldots,f_{n}}{x,x+h,x+2h,\ldots,x+nh}

xandx_{i} for anythingx,x+n&ZeroWidthSpace;h∈[A,b]x,x+nh\in\left[a,b\right].

for the functions(n−2)\left(n-2\right)

f0&ZeroWidthSpace;(x)\displaystyle f_{0}\left(x\right) =(1+x)&ZeroWidthSpace;(2+x),f1&ZeroWidthSpace;(x)=1+x,f2,−x&ZeroWidthSpace;(1−x),x∈[−2−1]\displaystyle=\left(1+x\right)\left(2+x\right),f_{1}\left(x\right)=1+x,\ f_{2},-x\left(1-x\right),\ \ \ \ \ \ \ \ \ \ \ \ x\in\left[-2-1\right]
f0&ZeroWidthSpace;(x)\displaystyle f_{0}\left(x\right) =f1&ZeroWidthSpace;(x)=f2&ZeroWidthSpace;(x)=0,x∈[−1,1]\displaystyle=f_{1}\left(x\right)=f_{2}\left(x\right)=0,\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x\in\left[-1,1\right]
f0&ZeroWidthSpace;(x)\displaystyle f_{0}\left(x\right) =1−x,f1&ZeroWidthSpace;(x)=−x&ZeroWidthSpace;(1−x),f2&ZeroWidthSpace;(x)=(1−x)&ZeroWidthSpace;(2−x),x∈[1,2]\displaystyle=1-x,\ f_{1}\left(x\right)=-x\left(1-x\right),\ f_{2}\left(x\right)=\left(1-x\right)\left(2-x\right),\ \ \ \ x\in\left[1,2\right]

[−2,2]\left[-2,2\right] △h(x;f0,f1,f2)=0\bigtriangleup_{h}\left(x;f_{0},f_{1},f_{2}\right)=0, whatever it is−2≤x,x+2&ZeroWidthSpace;h≤2-2\leq x,x+2h\leq 2.

However, the functionsf0&ZeroWidthSpace;(x),f1&ZeroWidthSpace;(x),f2&ZeroWidthSpace;(x)f_{0}\left(x\right),f_{1}\left(x\right),f_{2}\left(x\right) [−2,2]\left[-2,2\right]

5.

fand&ZeroWidthSpace;(x)=xand,and=0,1,…,n−1f_{i}\left(x\right)=x^{i}\ ,i=0,1,\ldots,n-1
1!&ZeroWidthSpace;2!,…,(n−1)!&ZeroWidthSpace;hn&ZeroWidthSpace;(n−1)2&ZeroWidthSpace;∑and=0n(−1)n−and&ZeroWidthSpace;(nand)&ZeroWidthSpace;fn&ZeroWidthSpace;(x+and&ZeroWidthSpace;h).1!2!,\ldots,\left(n-1\right)!h^{\frac{n\left(n-1\right)}{2}}\sum_{i=0}^{n}\left(-1\right)^{ni}\binomial{n}{i}f_{n}\left(x+ih\right).
∑and=0n(−1)n−and&ZeroWidthSpace;(nand)&ZeroWidthSpace;f&ZeroWidthSpace;(x+and&ZeroWidthSpace;h)=0,x,x+n&ZeroWidthSpace;h∈[A,b]\sum_{i=0}^{n}\left(-1\right)^{ni}\binomial{n}{i}f\left(x+ih\right)=0,\ x,x+nh\in\left[a,b\right]

n−1n-1. f&ZeroWidthSpace;(x)f\left(x\right) f&ZeroWidthSpace;(x)f\left(x\right) [A,b]\left[a,b\right].

on the interval [A,b]\left[a,b\right].

△h(f0,f1,…,fn−1,f)=0,x,x+n&ZeroWidthSpace;h∈[A,b]\bigtriangleup_{h}\left(f_{0},f_{1},\ldots,f_{n-1},f\right)=0,\ \ x,x+nh\in\left[a,b\right]

6.

Let's considern+2n+2puncturex1,x2,…,xn+2x_{1},x_{2},\ldots,x_{n+2} 2&ZeroWidthSpace;n+12n+1

f0&ZeroWidthSpace;(x1)f_{0}\left(x_{1}\right) f1&ZeroWidthSpace;(x1)f_{1}\left(x_{1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x1)f_{n-1}\left(x_{1}\right) f&ZeroWidthSpace;(x1)f\left(x_{1}\right) f0&ZeroWidthSpace;(x1)f_{0}\left(x_{1}\right) f1&ZeroWidthSpace;(x1)f_{1}\left(x_{1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x1)f_{n-1}\left(x_{1}\right)
f0&ZeroWidthSpace;(x2)f_{0}\left(x_{2}\right) f1&ZeroWidthSpace;(x2)f_{1}\left(x_{2}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x2)f_{n-1}\left(x_{2}\right) f&ZeroWidthSpace;(x2)f\left(x_{2}\right) 0 0 ⋯\cdots 0
f0&ZeroWidthSpace;(x3)f_{0}\left(x_{3}\right) f1&ZeroWidthSpace;(x3)f_{1}\left(x_{3}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x3)f_{n-1}\left(x_{3}\right) f&ZeroWidthSpace;(x3)f\left(x_{3}\right) 0 0 ⋯\cdots 0
⋯\cdots ⋯\cdots
f0&ZeroWidthSpace;(xand−1)f_{0}\left(x_{i-1}\right) f1&ZeroWidthSpace;(xand−1)f_{1}\left(x_{i-1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand−1)f_{n-1}\left(x_{i-1}\right) f&ZeroWidthSpace;(xand−1)f\left(x_{i-1}\right) 0 0 ⋯\cdots 0
f0&ZeroWidthSpace;(xand)f_{0}\left(x_{i}\right) f1&ZeroWidthSpace;(xand)f_{1}\left(x_{i}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand)f_{n-1}\left(x_{i}\right) f&ZeroWidthSpace;(xand)f\left(x_{i}\right) f0&ZeroWidthSpace;(xand)f_{0}\left(x_{i}\right) f1&ZeroWidthSpace;(xand)f_{1}\left(x_{i}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand)f_{n-1}\left(x_{i}\right)
f0&ZeroWidthSpace;(xand+1)f_{0}\left(x_{i+1}\right) f1&ZeroWidthSpace;(xand+1)f_{1}\left(x_{i+1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand+1)f_{n-1}\left(x_{i+1}\right) f&ZeroWidthSpace;(xand+1)f\left(x_{i+1}\right) 0 0 ⋯\cdots 0
f0&ZeroWidthSpace;(xand+2)f_{0}\left(x_{i+2}\right) f1&ZeroWidthSpace;(xand+2)f_{1}\left(x_{i+2}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand+2)f_{n-1}\left(x_{i+2}\right) f&ZeroWidthSpace;(xand+2)f\left(x_{i+2}\right) 0 0 ⋯\cdots 0
⋯\cdots ⋯\cdots
f0&ZeroWidthSpace;(xn+1)f_{0}\left(x_{n+1}\right) f1&ZeroWidthSpace;(xn+1)f_{1}\left(x_{n+1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xn+1)f_{n-1}\left(x_{n+1}\right) f&ZeroWidthSpace;(xn+1)f\left(x_{n+1}\right) 0 0 ⋯\cdots 0
f0&ZeroWidthSpace;(xn+2)f_{0}\left(x_{n+2}\right) f1&ZeroWidthSpace;(xn+2)f_{1}\left(x_{n+2}\right) ⋯\cdots fn&ZeroWidthSpace;(xn+2)f_{n}\left(x_{n+2}\right) f&ZeroWidthSpace;(xn+2)f\left(x_{n+2}\right) f0&ZeroWidthSpace;(xn+2)f_{0}\left(x_{n+2}\right) f1&ZeroWidthSpace;(xn+2)f_{1}\left(x_{n+2}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xn+2)f_{n-1}\left(x_{n+2}\right)
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(x2)f_{0}\left(x_{2}\right) f1&ZeroWidthSpace;(x2)f_{1}\left(x_{2}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x2)f_{n-1}\left(x_{2}\right)
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(x3)f_{0}\left(x_{3}\right) f1&ZeroWidthSpace;(x3)f_{1}\left(x_{3}\right) ⋯\cdots fn−1&ZeroWidthSpace;(x3)f_{n-1}\left(x_{3}\right)
⋯\cdots ⋯\cdots
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(x&ZeroWidthSpace;it&ZeroWidthSpace;and−1)f_{0}\left(xli-1\right) f1&ZeroWidthSpace;(xand−1)f_{1}\left(x_{i-1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand−1)f_{n-1}\left(x_{i-1}\right)
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(xand+1)f_{0}\left(x_{i+1}\right) f?&ZeroWidthSpace;?&ZeroWidthSpace;(xand+1)f_{??}\left(x_{i+1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand+1)f_{n-1}\left(x_{i+1}\right)
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(xand+2)f_{0}\left(x_{i+2}\right) f1&ZeroWidthSpace;(xand+2)f_{1}\left(x_{i+2}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xand+2)f_{n-1}\left(x_{i+2}\right)
⋯\cdots ⋯\cdots
0 0 ⋯\cdots 0 0 f0&ZeroWidthSpace;(xn+1)f_{0}\left(x_{n+1}\right) f1&ZeroWidthSpace;(xn+1)f_{1}\left(x_{n+1}\right) ⋯\cdots fn−1&ZeroWidthSpace;(xn+?&ZeroWidthSpace;?&ZeroWidthSpace;?)f_{n-1}\left(x_{n+???}\right)

2≤and≤n+12\leq i\leq n+1 and=2i=2andand=n+1i=n+1.

n+1n+1

V&ZeroWidthSpace;(f0,f1,…,fn−1x2,x3,…,xn+1)&ZeroWidthSpace;V&ZeroWidthSpace;(f0,f1,…,fn−1x1,x2,…,xand−1,xand+1,xand+2,…,xn+2)=\displaystyle V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{2},x_{3},\ldots,x_{n+1}}V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{1},x_{2},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots,x_{n+2}}=
|\displaystyle| =V&ZeroWidthSpace;(f0,f1,…,fn−1x2,x3,…,xand−1,xand+1,xand+2,…,xn+2)&ZeroWidthSpace;V&ZeroWidthSpace;(f0,f1,…,fn−1,fx1,x2,…,xn+1)+\displaystyle=V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{2},x_{3},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots,x_{n+2}}V\binom{f_{0},f_{1},\ldots,f_{n-1},f}{x_{1},x_{2},\ldots,x_{n+1}}+
+V&ZeroWidthSpace;(f0,f1,…,fn−1x1,x2,…,xand−1,xand+1,xand+2,…,x?&ZeroWidthSpace;?&ZeroWidthSpace;?+1)&ZeroWidthSpace;V&ZeroWidthSpace;(f0,f1,…,fn−1,fx2,x3,…,xn+2)\displaystyle+V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{1},x_{2},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots,x_{???+1}}V\binom{f_{0},f_{1},\ldots,f_{n-1},f}{x_{2},x_{3},\ldots,x_{n+2}}

and=2i=2 orand=n+1i=n+1.

(xn+2−x1)&ZeroWidthSpace;[x1,x2,…,xand−1,xand+1,xand+2,…,xn+2;f]\displaystyle\left(x_{n+2}-x_{1}\right)\left[x_{1},x_{2},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots,x_{n+2};f\right]
=(xand−x1)&ZeroWidthSpace;[x1,x2,…,xn+1;f]+(xn+2−xand)&ZeroWidthSpace;[x2,x3,…,xn+2;f].\displaystyle=\left(x_{i}-x_{1}\right)\left[x_{1},x_{2},\ldots,x_{n+1};f\right]+\left(x_{n+2}-x_{i}\right)\left[x_{2},x_{3},\ldots,x_{n+2};f\right].

7. finite x1,x2,…,xm&ZeroWidthSpace;(m≥n+1)x_{1},x_{2},\ldots,x_{m}\left(m\geq n+1\right) [A,b]\left[a,b\right]

V&ZeroWidthSpace;(f0,f1,…,fn−1,fnxand,xand+1,…,xand+n)=0,and=1,2,…,m−nV\binom{f_{0},f_{1},\ldots,f_{n-1},f_{n}}{x_{i},x_{i+1},\ldots,x_{i+n}}=0,\ i=1,2,\ldots,m-n

f&ZeroWidthSpace;(x)f\left(x\right)

V&ZeroWidthSpace;(f0,f1,…,fn−1,&ZeroWidthSpace;fx1,x2,…,xn+1)=0V\binom{f_{0},f_{1},\ldots,f_{n-1,}f}{x_{1},x_{2},\ldots,x_{n+1}}=0

x1,x2,…,xn+1∈[A,b]x_{1},x_{2},\ldots,x_{n+1}\in\left[a,b\right]

pointsxx xR−xSx_{r}-x_{s}

group ofn+1n+1 RANGE[A,b]\left[a,b\right].

f&ZeroWidthSpace;(x)f\left(x\right) [A,b]\left[a,b\right], any group ofn+1n+1

[A,b]\left[a,b\right],

f&ZeroWidthSpace;(x)=c0&ZeroWidthSpace;f0&ZeroWidthSpace;(x)+c1&ZeroWidthSpace;f1&ZeroWidthSpace;(x)+⋯+cn−1&ZeroWidthSpace;fn−1&ZeroWidthSpace;(x),f\left(x\right)=c_{0}f_{0}\left(x\right)+c_{1}f_{1}\left(x\right)+\cdots+c_{n-1}f_{n-1}\left(x\right),

wherecand,and=0,1,…,n−1c_{i},\ i=0,1,\ldots,n-1,

fornn\ x1,x2,…,xnx_{1},x_{2},\ldots,x_{n} will variablexn+1=xx_{n+1}=x

1.

f0&ZeroWidthSpace;(x)=my⁡x,f,(x)=Cart⁡xf_{0}\left(x\right)=\sin x,\ f,\ \left(x\right)=\cos x

[A,b]\left[a,b\right]where0≤A<b≤π,b−A<π=π0\leq a<b\leq\pi,b-a<\pi=\allowbreak\pi.

f&ZeroWidthSpace;(x)−2&ZeroWidthSpace;basket⁡f&ZeroWidthSpace;(x+h)=f&ZeroWidthSpace;(x+2&ZeroWidthSpace;h)=0f\left(x\right)-2\cosh f\left(x+h\right)=f\left(x+2h\right)=0

c0&ZeroWidthSpace;my⁡x+c1&ZeroWidthSpace;Cart⁡xc_{0}\sin x+c_{1}\cos x.

2.

f0&ZeroWidthSpace;(x)=1,f&ZeroWidthSpace;(x)=my⁡x,f2&ZeroWidthSpace;(x)=Cart⁡xf_{0}\left(x\right)=1,\ f\left(x\right)=\sin x,\ f_{2}\left(x\right)=\cos x

[A,b]\left[a,b\right] 0≤A<b≤2&ZeroWidthSpace;π,b−A<2&ZeroWidthSpace;π\leq a<b\leq 2\pi,\ b-a<2\pi.

f&ZeroWidthSpace;(x)−f&ZeroWidthSpace;(x+3&ZeroWidthSpace;h)=(2&ZeroWidthSpace;basket+1)&ZeroWidthSpace;[f&ZeroWidthSpace;(x+h)−f&ZeroWidthSpace;(x+2&ZeroWidthSpace;h)]f\left(x\right)-f\left(x+3h\right)=\left(2\cosh+1\right)\left[f\left(x+h\right)-f\left(x+2h\right)\right]

is therefore of the formc0+c1&ZeroWidthSpace;my⁡x+c2&ZeroWidthSpace;Cart⁡xc_{0}+c_{1}\sin x+c_{2}\cos x.

my⁡x,Cart⁡x,my⁡2&ZeroWidthSpace;x,Cart⁡2&ZeroWidthSpace;x,…,my⁡n&ZeroWidthSpace;x,Cart⁡n&ZeroWidthSpace;x\sin x,\cos x,\sin 2x,\cos 2x,\ldots,\sin nx,\cos nx

or

1,my⁡x,Cart⁡x,my⁡2&ZeroWidthSpace;x,Cart⁡2&ZeroWidthSpace;x,…,my⁡n&ZeroWidthSpace;x,Cart⁡n&ZeroWidthSpace;x.1,\sin x,\cos x,\sin 2x,\cos 2x,\ldots,\sin nx,\cos nx.

9. f&ZeroWidthSpace;(x)f\left(x\right) [A,b]\left[a,b\right] [A,b]\left[a,b\right]

|f&ZeroWidthSpace;(x)|<M,x∈[A,b].\left|f\left(x\right)\right|<M,x\in\left[a,b\right].

function f&ZeroWidthSpace;(x)f\left(x\right) [A,b]\left[a,b\right]

x0x_{0} α1,α2,…,αn−1,n−1\alpha_{1},\alpha_{2},\ldots,\alpha_{n-1},n-1 x0x_{0} [A,b]\left[a,b\right]

we

V&ZeroWidthSpace;(f0,f1,…,fn−2α1,α2,…,αn−1,x0)=λ≠0.V\binom{f_{0},f_{1},\ldots,f_{n-2}}{\alpha_{1},\alpha_{2},\ldots,\alpha_{n-1},x_{0}}=\lambda\neq 0.

V&ZeroWidthSpace;(f0,f1,…,fn−1x1,x2,…,xA&ZeroWidthSpace;?&ZeroWidthSpace;?&ZeroWidthSpace;?)V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{1},x_{2},\ldots,x_{a\ ???}} x1,x2,…,xnx_{1},x_{2},\ldots,x_{n}, ε\varepsilon μ<|λ|\mu<\left|\lambda\right|,,{}^{\text{,}} δ\delta x∈(x0−δ,x0+δ),αand′∈(αand+δ,)and=1,2,…,n−1x\in\left(x_{0}-\delta,x_{0}+\delta\right),\alpha_{i}^{\prime}\in\left(\alpha_{i}+\delta,\right)i=1,2,\ldots,n-1

|V&ZeroWidthSpace;(f0,f1,…,fn−1x,α1′,α2′,…,αn−1′)|>μ\displaystyle\left|V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x,\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}\right|>\mu
|f&ZeroWidthSpace;(x0)|&ZeroWidthSpace;|V&ZeroWidthSpace;(f0,f1,…,fn−1x0,α1′,α2′,…,αn−1′)−V&ZeroWidthSpace;(f0,f1,…,fn−1x,α1′,α2′,…,αn−1′)|<μ&ZeroWidthSpace;ε2\displaystyle\left|f\left(x_{0}\right)\right|\left|V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{0},\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}-V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x,\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}\right|<\frac{\mu\varepsilon}{2}
|V&ZeroWidthSpace;(f0,f1,…,fn−1x,x0,α1′,α´2,…,αand−1′&ZeroWidthSpace;αand+1,αand+2",…,αn−1′)|<μ&ZeroWidthSpace;ε2&ZeroWidthSpace;(n−1)&ZeroWidthSpace;M,and=1,2,…,n−1.\displaystyle\left|V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x,x_{0},\alpha_{1}^{\prime},\acute{\alpha}_{2},\ldots,\alpha_{i-1}^{\prime}\alpha_{i+1},\alpha_{i+2}^{\prime\prime},\ldots,\alpha_{n-1}^{\prime}}\right|<\frac{\mu\varepsilon}{2\left(n-1\right)M},i=1,2,\ldots,n-1.

x∈(x0−δ,x0+δ)x\in\left(x_{0}-\delta,x_{0}+\delta\right) αand′\alpha_{i}^{\prime} α1′,α2′,…,αn−1′,x0,x\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime},x_{0},x

V&ZeroWidthSpace;(f0,f1,…,fn−1,fα1′,α2′,…,αn−1′,x0,x)=0V\binom{f_{0},f_{1},\ldots,f_{n-1},f}{\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime},x_{0},x}=0

from which we deduce

[f&ZeroWidthSpace;(x0)−f&ZeroWidthSpace;(x)]&ZeroWidthSpace;V&ZeroWidthSpace;(f0,f1,…,fn−1x0,α1′,α2′,…,αn−1′)=\displaystyle\left[f\left(x_{0}\right)-f\left(x\right)\right]V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{0},\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}=
=f&ZeroWidthSpace;(x0)&ZeroWidthSpace;[V&ZeroWidthSpace;(f0,f1,…,fn−1x0,α1′,α2′,…,αn−1′)−V&ZeroWidthSpace;(f0,f1,…,fn−1x,α1′,α2′,…,αn−1′)]+\displaystyle=f\left(x_{0}\right)\left[V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x_{0},\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}-V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x,\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}\right]+
+∑and=1n−1(−1)and&ZeroWidthSpace;f&ZeroWidthSpace;(αand′)&ZeroWidthSpace;V&ZeroWidthSpace;(f0,f1,…,fn−1x,x0,α1′,α2′,…,αand−1′,αand+1′,αand+2′,…,αn−1′)\displaystyle+\sum_{i=1}^{n-1}\left(-1\right)^{i}f\left(\alpha_{i}^{\prime}\right)V\binom{f_{0},f_{1},\ldots,f_{n-1}}{x,x_{0},\alpha_{1}^{\prime},\alpha_{2}^{\prime},\ldots,\alpha_{i-1}^{\prime},\alpha_{i+1}^{\prime},\alpha_{i+2}^{\prime},\ldots,\alpha_{n-1}^{\prime}}
|f&ZeroWidthSpace;(x0)−f&ZeroWidthSpace;(x)|<1μ⋅μ&ZeroWidthSpace;ε2+(n−1)&ZeroWidthSpace;Mμ⋅μ&ZeroWidthSpace;ε2&ZeroWidthSpace;(n−1)&ZeroWidthSpace;M=ε\left|f\left(x_{0}\right)-f\left(x\right)\right|<\frac{1}{\mu}\cdot\frac{\mu\varepsilon}{2}+\frac{\left(n-1\right)M}{\mu}\cdot\frac{\mu\varepsilon}{2\left(n-1\right)M}=\varepsilon

|x0−x|<δ\left|x_{0}-x\right|<\delta, f&ZeroWidthSpace;(x)f\left(x\right) x0x_{0}.

on the interval[A,b]\left[a,b\right], where cand,and=0,1,…,n−1c_{i},i=0,1,\ldots,n-1

f&ZeroWidthSpace;(x)f\left(x\right) [A,b]\left[a,b\right]. f&ZeroWidthSpace;(x)f\left(x\right)

10. F&ZeroWidthSpace;(x,y)F\left(x,y\right) xxandyy f&ZeroWidthSpace;(x)&ZeroWidthSpace;g&ZeroWidthSpace;(x)f\left(x\right)g\left(x\right), xx

yy.

F&ZeroWidthSpace;(x,y)=∑and=1mfand&ZeroWidthSpace;(x)&ZeroWidthSpace;gand&ZeroWidthSpace;(y).F\left(x,y\right)=\sum_{i=1}^{m}f_{i}\left(x\right)g_{i}\left(y\right).

IfF&ZeroWidthSpace;(x,y)F\left(x,y\right)

‖∂1+jF∂xand&ZeroWidthSpace;∂yf‖and′,j=0,1,…,m=0\left\|\frac{\partial^{1+j}F}{\partial x^{i}\partial y^{f}}\right\|_{i^{\prime},j=0,1,\ldots,m}=0

F&ZeroWidthSpace;(x,y)F\left(x,y\right).

11. F&ZeroWidthSpace;(x,y)F\left(x,y\right) on a crowd It isEof points(x,y)\left(x,y\right) that xx

It isxE_{x}andIt isyE_{y}).

We will say thatmm degree m1>mm_{1}>m.

f1&ZeroWidthSpace;(x),f2&ZeroWidthSpace;(x),…,jf_{1}\left(x\right),f_{2}\left(x\right),\ldots,j

It isxE_{x}

g1&ZeroWidthSpace;(y),g2&ZeroWidthSpace;(y),…,g&ZeroWidthSpace;(y)g_{1}\left(y\right),g_{2}\left(y\right),\ldots,g\left(y\right)

It isyE_{y}.

functions onlyxx only byyyeffectively0.

is of the actual degreemm, R<mr<m.

find a numberRr mm Rr functionsφ1&ZeroWidthSpace;(x),φ2&ZeroWidthSpace;(x),…,φR\varphi_{1}\left(x\right),\varphi_{2}\left(x\right),\ldots,\varphi_{r}

fand&ZeroWidthSpace;(x)=cand,1&ZeroWidthSpace;φ1&ZeroWidthSpace;(x)+xand,2&ZeroWidthSpace;φ2&ZeroWidthSpace;(x)+⋯+cand,R&ZeroWidthSpace;φR&ZeroWidthSpace;(x),and=1,2,…,mf_{i}\left(x\right)=c_{i,1}\varphi_{1}\left(x\right)+x_{i,2}\varphi_{2}\left(x\right)+\cdots+c_{i,r}\varphi_{r}\left(x\right),\ \ i=1,2,\ldots,m

wherecand,jc_{i,j}

F&ZeroWidthSpace;(x,y)=∑and=1Rφand&ZeroWidthSpace;(x)&ZeroWidthSpace;ψand&ZeroWidthSpace;(y)F\left(x,y\right)=\sum_{i=1}^{r}\varphi_{i}\left(x\right)\psi_{i}\left(y\right)

where

ψand&ZeroWidthSpace;(y)=c1,and&ZeroWidthSpace;g1&ZeroWidthSpace;(y)+⋯+cm,and&ZeroWidthSpace;gm&ZeroWidthSpace;(y),and=1,2,…,R.\psi_{i}\left(y\right)=c_{1,i}g_{1}\left(y\right)+\cdots+c_{m,i}g_{m}\left(y\right),\ i=1,2,\ldots,r.

12

D&ZeroWidthSpace;(x1,x2,…,xm+1;Fy1,y2,…,ym+1)=‖F&ZeroWidthSpace;(xand,yand)‖and,j=1,2,…,m+1D\left(\begin{array}[c]{cc}x_{1},x_{2},\ldots,x_{m+1}&\\ &;F\\ y_{1},y_{2},\ldots,y_{m+1}&\end{array}\right)=\left\|F\left(x_{i},y_{i}\right)\right\|_{i,j=1,2,\ldots,m+1}

wherex1,x2,…,xm+1x_{1},x_{2},\ldots,x_{m+1}arem+1m+1 It isxE_{x}andy1,y2,…,ym+1&ZeroWidthSpace;m+1y_{1},y_{2},\ldots,y_{m+1}m+1 It isyE_{y}.

D&ZeroWidthSpace;(x1,x2,…,xm+1y1,y2,…,ym+1;F)=0D\left(\begin{tabular}[c]{l}$x_{1},x_{2},\ldots,x_{m+1}$\\ \\ $y_{1},y_{2},\ldots,y_{m+1}$\end{tabular};F\right)=0

onIt isE.

Any functionF&ZeroWidthSpace;(x,y)F\left(x,y\right) It isE mm.

function F&ZeroWidthSpace;(x,y)F\left(x,y\right) R,1≤R≤m,Rr,1\leq r\leq m,rpuncturex1,x2,…,x∈It isxx_{1},x_{2},\ldots,x\in E_{x}andR\ rpuncturey1,y2,…,yR∈It isyy_{1},y_{2},\ldots,y_{r}\in E_{y}

D=D&ZeroWidthSpace;(x1,x2,…,xR;Fy1,y2,…,yR)≠0D=D\left(\begin{array}[c]{cc}x_{1},x_{2},\ldots,x_{r}&\\ &;F\\ y_{1},y_{2},\ldots,y_{r}&\end{array}\right)\neq 0

and

D&ZeroWidthSpace;(x1,x2,…,xR,xy1,y2,…,yR,y;F)=0D\left(\begin{array}[c]{c}x_{1},x_{2},\ldots,x_{r},x\\ \\ y_{1},y_{2},\ldots,y_{r},y\end{array};F\right)=0

whatever(x,y)∈It is\left(x,y\right)\in E. F&ZeroWidthSpace;(x,y)F\left(x,y\right)

IfRr effective Rr. Aand,jA_{i,j} DD.

F&ZeroWidthSpace;(x,y)=∑and=1Rfand&ZeroWidthSpace;(x)&ZeroWidthSpace;gand&ZeroWidthSpace;(y)F\left(x,y\right)=\sum_{i=1}^{r}f_{i}\left(x\right)g_{i}\left(y\right)

where, for example

fand&ZeroWidthSpace;(x)=F&ZeroWidthSpace;(x,yand),gand&ZeroWidthSpace;(y)=1D&ZeroWidthSpace;∑S=1R(−1)S+R−and&ZeroWidthSpace;F&ZeroWidthSpace;(xS,y)&ZeroWidthSpace;AS,and,and=1,2,…,Rf_{i}\left(x\right)=F\left(x,y_{i}\right),g_{i}\left(y\right)=\frac{1}{D}\sum_{s=1}^{r}\left(-1\right)^{s+r-i}F\left(x_{s},y\right)A_{s,i},\ i=1,2,\ldots,r

fand&ZeroWidthSpace;(x)f_{i}\left(x\right) gand&ZeroWidthSpace;(y)g_{i}\left(y\right)

IfIt isxE_{x} m+1m+1 It isyE_{y} m+1m+1 any functionF&ZeroWidthSpace;(x,y)F\left(x,y\right) It isE mm.

13. A quasi-polynomial mm mand<mm_{i}<m.

mm m−1m-1.

D&ZeroWidthSpace;(x1,x2,…,xmy1,y2,…,ym&ZeroWidthSpace;j&ZeroWidthSpace;?&ZeroWidthSpace;?&ZeroWidthSpace;?;F)=V&ZeroWidthSpace;(f1,f2,…,fmx1,x2,…,xm)&ZeroWidthSpace;V&ZeroWidthSpace;(g1,g2,…,gmy1,y2,…,ym).D\left(\begin{array}[c]{c}x_{1},x_{2},\ldots,x_{m}\\ \\ y_{1},y_{2},\ldots,y_{mj???}\end{array};F\right)=V\binom{f_{1},f_{2},\ldots,f_{m}}{x_{1},x_{2},\ldots,x_{m}}V\binom{g_{1},g_{2},\ldots,g_{m}}{y_{1},y_{2},\ldots,y_{m}}.

pointsxandx_{i} yandy_{i}

Actual condition mm It isxE_{x} It isyE_{y}.

14. It isE R(A≤x≤b,c≤y≤d)R\left(a\leq x\leq b,c\leq y\leq d\right).

We can consider functionsF&ZeroWidthSpace;(x,y)F\left(x,y\right)

D&ZeroWidthSpace;(x1,x2,…,xmy1,y2,…,yn;F)≠0D\left(\begin{tabular}[c]{l}$x_{1},x_{2},\ldots,x_{m}$\\ \\ $y_{1},y_{2},\ldots,y_{n}$\end{tabular};F\right)\neq 0

x1,x2,…,xm∈[A,b]x_{1},x_{2},\ldots,x_{m}\in\left[a,b\right] y1,y2,…,y∈[c,d]y_{1},y_{2},\ldots,y\in\left[c,d\right]

F&ZeroWidthSpace;(x,y)F\left(x,y\right) withxx yy x1<x2<…<xm,y1<y2<…<ymx_{1}<x_{2}<\ldots<x_{m},y_{1}<y_{2}<\ldots<y_{m},

we note that fory1,and=1,2,…,my_{1},i=1,2,\ldots,m and forxand,and=1,2,…,mx_{i},i=1,2,\ldots,m

D&ZeroWidthSpace;(x,x+h,x+2&ZeroWidthSpace;h,…,x+m&ZeroWidthSpace;hy,y+k,y+2&ZeroWidthSpace;k,…,y+m&ZeroWidthSpace;k;F)=0D\left(\begin{array}[c]{c}x,x+h,x+2h,\ldots,x+mh\\ \\ y,y+k,y+2k,\ldots,y+mk\end{array};F\right)=0

wherex,y,h,kx,y,h,k that A≤x,x+m&ZeroWidthSpace;h≤b,c≤y,y+m&ZeroWidthSpace;k≤da\leq x,x+mh\leq b,c\leq y,y+mk\leq dandmm

If the functionF&ZeroWidthSpace;(x,y)F\left(x,y\right) x,yx,y onRR mm.

yyandkk,

D&ZeroWidthSpace;(x1,x2,…,xm+1y,y+k,…,y+mk;F)=0D\left(\begin{tabular}[c]{l}$x_{1},x_{2},\ldots,x_{m+1}$\\ \\ $y,y+k,\ldots,y+mk$\end{tabular};F\right)=0

whateverxand∈[A,b],and=1,2,…,m+1x_{i}\in\left[a,b\right],i=1,2,\ldots,m+1.

WEfand&ZeroWidthSpace;(x)=F&ZeroWidthSpace;(x,y+and&ZeroWidthSpace;k),and=1,2,…,m,f&ZeroWidthSpace;(x)=F&ZeroWidthSpace;(x,y)f_{i}\left(x\right)=F\left(x,y+ik\right),\ i=1,2,\ldots,m,\ f\left(x\right)=F\left(x,y\right). the pointsx1,x2,…,xm+1x_{1},x_{2},\ldots,x_{m+1}and we put fand&ZeroWidthSpace;(y)=F&ZeroWidthSpace;(xand,y),and=1,2,…,m,f&ZeroWidthSpace;(y)=F&ZeroWidthSpace;(x,y)f_{i}\left(y\right)=F\left(x_{i},y\right),\ i=1,2,\ldots,m,f\left(y\right)=F\left(x,y\right),

D&ZeroWidthSpace;(x1,x2,…,xm+1y1,y2,…,ym+1;F)=0D\left(\begin{array}[c]{c}x_{1},x_{2},\ldots,x_{m+1}\\ \\ y_{1},y_{2},\ldots,y_{m+1}\end{array};F\right)=0

whateverxand∈[A,b],yand∈[c,d],and=1,2,…,m+1x_{i}\in\left[a,b\right],y_{i}\in\left[c,d\right],i=1,2,\ldots,m+1.

15. symmetricalxxandyy.

fand&ZeroWidthSpace;(x)=Aand,1&ZeroWidthSpace;g1&ZeroWidthSpace;(x)+Aand,2&ZeroWidthSpace;g2&ZeroWidthSpace;(x)+⋯+Aand,m&ZeroWidthSpace;gm&ZeroWidthSpace;(x),and=1,2,…,mf_{i}\left(x\right)=a_{i,1}g_{1}\left(x\right)+a_{i,2}g_{2}\left(x\right)+\cdots+a_{i,m}g_{m}\left(x\right),\ i=1,2,\ldots,m

whereAand,ja_{i,j} Aand,j=Aj,anda_{i,j}=a_{j,i}.

linear setit ise(so thatIt isx=It isy=it isE_{x}=E_{y}=e) mm

(with A&ZeroWidthSpace;and&ZeroWidthSpace;j=A&ZeroWidthSpace;j,anda\,ij=a\,j,i)

independent onit ise. mm x1,x2,…,xm∈it isx_{1},x_{2},\ldots,x_{m}\in e

V∗=V&ZeroWidthSpace;(g1,g1,…,gmx1,x2,…,xm)≠0.V^{\ast}=V\binom{g_{1},g_{1},\ldots,g_{m}}{x_{1},x_{2},\ldots,x_{m}}\neq 0.

allows us to write

∑and=1mfand&ZeroWidthSpace;(x)&ZeroWidthSpace;gand&ZeroWidthSpace;(xk)=∑and=12mfand&ZeroWidthSpace;(xk)&ZeroWidthSpace;gand&ZeroWidthSpace;(x),k=1,2,…,m\sum_{i=1}^{m}f_{i}\left(x\right)g_{i}\left(x_{k}\right)=\sum_{i=12}^{m}f_{i}\left(x_{k}\right)g_{i}\left(x\right),\ k=1,2,\ldots,m

fand&ZeroWidthSpace;(x)f_{i}\left(x\right) we show thatAand,j=Aj,anda_{i,j}=a_{j,i}.

∑and≠j1,2,…,m(Aand,j−Aj,and)&ZeroWidthSpace;[gand&ZeroWidthSpace;(x)&ZeroWidthSpace;gand&ZeroWidthSpace;(y)−gand&ZeroWidthSpace;(x)&ZeroWidthSpace;gj&ZeroWidthSpace;(y)]=0.\sum_{i\neq j}^{1,2,\ldots,m}\left(a_{i,j}-a_{j,i}\right)\left[g_{i}\left(x\right)g_{i}\left(y\right)-g_{i}\left(x\right)g_{j}\left(y\right)\right]=0.

From himxxandyy xxx_{x}andxitx_{l} (m2)\binom{m}{2} (m2)\binom{m}{2} Aand,j−Aj,anda_{i,j}-a_{j,i}.

of the determinantV∗V^{\ast}. is a power of V∗V^{\ast}( V∗m+1V^{\ast m+1})..\

It results thatAand,j−Aj,and=0,and,j=1,2,…,ma_{i,j}-a_{j,i}=0,\ i,j=1,2,\ldots,m,

factorAand,ja_{i,j} 0effectivelymm, with the determinant‖Aand,j‖\left\|a_{i,j}\right\| of0.

effective degreeR<mr<m amounts ofRr only byxx yy.

of two variablesx,yx,y, φ1&ZeroWidthSpace;(x),φ2&ZeroWidthSpace;(x),…,φR&ZeroWidthSpace;(x),φ1&ZeroWidthSpace;(y),φ2&ZeroWidthSpace;(y),…,φR&ZeroWidthSpace;(y)\varphi_{1}\left(x\right),\varphi_{2}\left(x\right),\ldots,\varphi_{r}\left(x\right),\varphi_{1}\left(y\right),\varphi_{2}\left(y\right),\ldots,\varphi_{r}\left(y\right), whereRr φand&ZeroWidthSpace;(x)\varphi_{i}\left(x\right)

References

  • [1] LJ Magnus, ”Über die Relaitonen der Functionsen welche der GleichungF1&ZeroWidthSpace;y&ZeroWidthSpace;φ1&ZeroWidthSpace;x+F2&ZeroWidthSpace;y&ZeroWidthSpace;φ2&ZeroWidthSpace;x+⋯+Fn&ZeroWidthSpace;y&ZeroWidthSpace;φn&ZeroWidthSpace;x=F1&ZeroWidthSpace;x&ZeroWidthSpace;φ1&ZeroWidthSpace;y+F2&ZeroWidthSpace;x&ZeroWidthSpace;φ2&ZeroWidthSpace;y+⋯+Fn&ZeroWidthSpace;x&ZeroWidthSpace;φn&ZeroWidthSpace;yF_{1}y\varphi_{1}x+F_{2}y\varphi_{2}x+\cdots+F_{n}y\varphi_{n}x=F_{1}x\varphi_{1}y+F_{2}x\varphi_{2}y+\cdots+F_{n}x\varphi_{n}ygenugthung",Journalf.die Reine u,angew.Math.,5, 365-373(1830).
  • [2] Tiberiu Popoviciu, "On bounded solutions and measurable solutions of certain functional equations", Mathematica, 14, 47-106 (1938).
  • [3] C. Stephanos, "Sur une catégorie d'équations équationelles" Rendic. Jack. Mat. Palermo, 18, 360-363 (1904).
1955

Related Posts