Theorem 1: If the functions f , g : 2 1) are of squared holomorphic type, i.e.

there are holomorphic functions F , G : , such that: f ( x, y ) = F ( s )

2

and g ( x, y ) = G ( s ) , s = x + iy
2

2) the functions F , G are analytic and vanish at the point s = 0 3) the functions F , G have the same multiplicity at the point s = 0 4) for the functions F , G , we have:
F ( s ) = F ( s ) and G ( s ) = G ( s )

5) the function

f ( x, y ) is real analytic at the point ( 0, 0 ) , g ( x, y )

then for the iterated limits at ( 0, 0 ) , we have:

d d f ( x, y ) f ( x, y ) f ( x, y ) dy dy . lim lim = lim lim = lim x 0 y 0 d y 0 x 0 d ( x,y )( 0,0) g ( x, y ) g ( x, y ) g ( x, y ) dy dy

Proof: Let the multiplicity of the functions F , G at the point s = 0 be m > 0 .

Then there exist functions F , G , analytic and non-vanishing at the point s = 0 , such that F ( s ) = s m F ( s ) and G ( s ) = s m G ( s ) with F ( 0 ) 0 and G ( 0 ) 0 . We have: f ( x, y ) = F ( s ) = s m F ( s ) = s
2 2 2m

F ( s )

2m

= ( x 2 + y2 )

( 00 + 10 x + 01 y + ) ,
m

00 0 , and
g ( x, y ) = G ( s ) = s m G ( s ) = s
2 2 2m

G (s )

2m

= ( x 2 + y2 )

( 00 + 10 x + 01y + ) ,

00 0 .
We have: f ( x, y ) 00 . = ( x,y )( 0,0 ) g ( x, y ) 00 lim

For the function

d f ( x, y ) dy , we have: d g ( x, y ) dy

d m 1 m f ( x, y ) 2my ( x 2 + y 2 ) ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) dy = m 1 m d 2my ( x 2 + y 2 ) ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) g ( x, y ) dy d f ( x, y ) 2my ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) dy , = d 2my ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) g ( x, y ) dy We can easily verify that the odd powers of the variable y of the functions:

f ( x, y ) , g ( x, y ) are absent. Indeed, from the equations:

F ( s ) = F ( s ) and G ( s ) = G ( s )

we have:
f ( x, y ) = F ( s ) F ( s ) = j1 ( x + iy ) 1 j2 ( x iy ) 2 =
j j j1 0 j2 0

j2 r1 r1 j1 r j1 j j1 j x ( iy ) 0 j2 r0 j2 x r2 j2 ( iy ) 2 j1 0 r1 = 0 1 j2 2= 2 j1

and we can see that the results for the pairs ( j1 , j2 ) = ( 2, 2 + 1) and

( j1 , j2 ) = ( 2 + 1, 2 ) for every odd power

p = 2 + 2 + 1 of y p are additive inverses.

Then it follows that the odd powers of y in the expansions: F ( s ) =

2

f ( x, y )

(x
2

+ y2 )

= 00 + and

G (s ) =

g ( x, y )

( x 2 + y2 )

= 00 +

are also absent.

m m m Indeed all powers of y in the expansion ( x 2 + y 2 ) = x 2m 2r y 2r are even. r =0 r

Then it follows that:

2 d d F ( s ) = ( 00 + ) = ( 01 + 11x + ) and dy dy 2 d d G ( s ) = ( 00 + ) = ( 01 + 11x + ) dy dy

both have common factor the variable y , so:

d f ( x, y ) 2my ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) dy = = d 2my ( 00 + ) + ( x 2 + y 2 ) ( 01 + 11x + ) g ( x, y ) dy = 2my ( 00 + ) + ( x 2 + y 2 ) ( 2y 02 + 2y12 x + ) 2my ( 00 + ) + ( x 2 + y 2 ) ( 2y 02 + 2y12 x + ) 2my ( 00 + ) + ( x 2 + y 2 ) y ( 2 02 + 212 x + ) 2my ( 00 + ) + ( x 2 + y 2 ) y ( 2 02 + 212 x + ) 2m ( 00 + ) + ( x 2 + y 2 ) ( 2 02 + 212 x + ) 2m ( 00 + ) + ( x 2 + y 2 ) ( 2 02 + 212 x + )

d f ( x, y ) dy at the point ( 0, 0 ) both exist Therefore, the iterated limits of the function d g ( x, y ) dy and are equal to
f ( x, y ) 00 . = lim 00 ( x,y )( 0,0) g ( x, y )

1 1 The observation that the functions x 0 iy 0 s and + x 0 + iy 0 + s can be 2 2 viewed as F ( s ) and G ( s ) of the previous theorem and that the analytic functions

( x + iy ) , ( x iy )
j j j j 0 j 0

have the same radius of convergence, yields the final

result.