Scribd
Upload
52 views3 pages

Publikaclje Elektrotehnickog Fakulteta Univerziteta U Beogradu Publicationsde La Faculte D' Lectrotechniquede L'Universitea Belgrade

f(x, y, z) is a function that satisfies the functional equation (3). The general solution to this equation is given by (18), where φ1(u), φ2(u), φ3(u) are arbitrary complex functions. Specifically: 1) Any function f(x, y, z) defined by (18) will satisfy the functional equation (3). 2) Conversely, if a function satisfies (3), it must be of the form given in (18). 3) where φ1(u), φ2(u), φ3(u) are arbitrary complex functions.

Uploaded by

vahid
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
52 views3 pages

Publikaclje Elektrotehnickog Fakulteta Univerziteta U Beogradu Publicationsde La Faculte D' Lectrotechniquede L'Universitea Belgrade

f(x, y, z) is a function that satisfies the functional equation (3). The general solution to this equation is given by (18), where φ1(u), φ2(u), φ3(u) are arbitrary complex functions. Specifically: 1) Any function f(x, y, z) defined by (18) will satisfy the functional equation (3). 2) Conversely, if a function satisfies (3), it must be of the form given in (18). 3) where φ1(u), φ2(u), φ3(u) are arbitrary complex functions.

Uploaded by

vahid
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

PUBLIKAClJE ELEKTROTEHNICKOG FAKULTETA UNIVERZITETA U BEOGRADU

PUBLICATIONSDE LA FACULTE D'~LECTROTECHNIQUEDE L'UNIVERSITEA BELGRADE


SERIJA: MATEMATIKA I FIZIKA ~ SERlE: MATHEMATIQUES ET PHYSIQUE

N!! 97 {1963}

A SPECIAL FUNCTIONAL EQUATION

L. Carlitz
(Received I november 1962)

Mitrinovic and Presic [1] have proved that the general solution of the
functional equation
(I) f(x,y)f(u, v)+f(x, u)f(v,y)+f(x, v)f(y, u)=O
is given by
(2) f(x, y) =g (x) h (y)-g (J;) h (x),
where g (x), h (x) are arbitrary functions of x.
In the present note we consider the furctional equation
(3) f(x, y, z) feu, v, w) + f(y, x, u)f(z, v, w)
+f(x, y, v) fez, u, w) + fey, x, w) fez, u, v) = o.
The variables and the functional values are assumed to be complex
numbers.
If we take x = y = z = u = v = w, it is clear that (3) implies
(4) f(x, x, x) = O.
Next if we take x = y = z = u, v = w, we get
f(x, x, x) f(x, v, v) + f(x, x, x) f(x, v, v)
+ f(x, x, v) f(x, x, v) + f(x, x, v) f(x, x, v) = 0,
so that
(5) f(x, x, v) = o.
If we take x=u= V=W, y=z, we get
(6) 2 J2 (y, x, x) + f(x, y, x) fey, x, x) = 0,
while x=z, y=u=v=w yields
f2 (x, y, y) + 2f(x, y, y) fey, x, y) = O.
Interchanging x and y, this becomes
(7) f2 (y, x, x) + 2f(x, y, x)f(y, x, x) = 0;
comparison of (7) with (6) gives
(8) f(y, x, x) = O.
,
-I, .L. Car!itz
"

In the next place,. if we take x = u, y = z = v = w, we get


.r(x, y, y) f(x, y, y) + fey, x, x) fey, y, y)
+f(x,y,y)f(y, x, y)+f(y, x,y)f(y, x,y)=o.
Making use of (8), this becomes
(9) fey, x, y) = o.
Now let a, b, cBe fixed complex numbers. such that
(10) f(a, h, c) o.
*
If we take v = w in (3) we get
(f(x, y, v) + fey, x, v» fez, u, v) = o.
In particular, for z=a, u=h, v=c, this implies
(11) f(x, y, c) = -fey, x, c).
If we take z = w in (3) we get
f(x, y, z) feu, .v, z) +fey, x, z) fez, u, y) = o.

For x,y,z=a,b,c this becomes, in view 0[(10) and (11),


( 12) feu, v, c) = f(c, u, v).
For z = v we find that
lex, y, z) feu, z, w) +f(x, y, z) fez, u, w) = 0,
which implies
(13) f(c, u, w) = -feu, c, w).

It is evident from the above, that


f(a', bl, c')
* 0,
where a', b', c' is any permutation of a, b, c. Thus, in particular (11), (12),
(13) hold when c is replaced by a or b. It follows, for example, that
f(a, b, u) = -f(b, a, u).
We now define
=f(a, b, u)
(14) <1>1
(u) ,
f (a, b, c)
(15) 'Y (u, v) = feu, v, c).
Then it follows from (3), (11), (12) and (13) that
( 16) feu, v, w) = <1>1
(u) 'Y (v, W)-<1>1(v) 'Y (u, w) + <1>1
(w) 'Y (u, v).
Also, if we take x = u = c in (3), we get
( 17) 'Y (y, z) 'Y (v, w) + 'Y (y, v) 'Y Cw, z) + 'Y (y,w) 'Y (z, v) = o.
A special functional equation 3

Comparing (17) with (1) we infer that


'Y (u, v) = <1>2(u) <1>3(V)-<I>2 (v) <1>3(u),

where <1>2
(u), <1>3
(u) are arbitrary functions. Therefore (16) becomes
<1>1
(u) <1>1
(v) <1>1
(w)
(18) feu, v, w) = <1>2
(u) <1>2
(v) <1>2
(w) .
<l>3(U) <1>3(v) <l>3(W)

Conversely, if feu, v, w) is defined by means of (18), then (3) is sati-


sfied. This follows on expanding the vanishing determinant
<1>1
(x) <1>2(x) <1>3(x) 0 0 0
<1>1(y) <1>2(y) <1>3(y) 0 0 0
<1>1
(z) <1>2(z) <1>3(z) <1>1(z) <1>2(z) <1>3(z)
<1>1
(u) <1>.(u) <1>3(u) <1>1(u) <1>.(u) <1>3(u)
<l>dv) <1>2(v) <1>3(v) <l>dv) <1>2(v) cI>3(\I)
<1>1
(w) cl>a(w) cl>3(w) cl>1(w) <1>.(w) <1>3(w)

We have therefore proved the following.


The 0 rem. - The general complex solution of the functional equation
(3) is given by (18), whEre <1>1
(u), <1>2
(u), <1>3
(u) are arbitrary complex functions.

REFERENCE
[11 D. S. Mitrinovic and S. B. Presic:
Sur une equation [onctionnelle cyclique d'ordre superieur, ces P~blications N270, 1962.

You might also like