generalizations of the interplay between Cauchy Riemann equations and complex-linearity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T05:14:04Z http://mathoverflow.net/feeds/question/103121 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103121/generalizations-of-the-interplay-between-cauchy-riemann-equations-and-complex-lin generalizations of the interplay between Cauchy Riemann equations and complex-linearity James S. Cook 2012-07-25T21:06:54Z 2012-07-25T21:06:54Z <p>A function $f: \mathbb{C} \rightarrow \mathbb{C}$ is naturally viewed as mapping $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$. Suppose $f = (u,v)$ is continuously differentiable on $D \subseteq \mathbb{C}$, the the following are equivalent:</p> <ol> <li>the Cauchy Riemann equations $u_x = v_y$, $v_x=-u_y$ hold on $D$</li> <li>$\frac{df}{dz}$ exists on $D$; that is, $f$ is complex-differentiable on $D$</li> <li>the differential $df_z$ is complex-linear for each $z \in D$</li> </ol> <p>For example, see pages 50-51 of <em>Theory of Complex Functions</em> by Reinhold Remmert. </p> <p>Suppose $\mathbb{R}^n$ is given some algebraic structure so that we can multiply vectors. For the sake of discussion say $\mathbb{R}^n = \cal{A}$ and for all $v,w \in \cal{A}$ we have $v*w \in \cal{A}$. We should then define $\cal{A}$-linearity of a real-linear mapping $T: \mathbb{R}^n \rightarrow \mathbb{R}^n$ by the additional condition $T(v * w) = v*T(w)$ for all $v,w \in \mathbb{R}^n$. When we consider the matrix $B$ inducing $T$ then the condition of $\cal{A}$-linearity will impose certain equations (call these $\star$) on the components of $B$. If there is a natural theory of differentiation on $\cal{A}$ space then we ought to have some intrinsic concept of $\cal{A}$-differentiability. Moreover, it ought to be the case that continuous differentiability paired with the $\star$-equations on the Jacobian matrix provide sufficient conditions to insure $\cal{A}$-differentiability. These equations would naturally be termed <em>generalized CR equations with respect to</em> $\cal{A}$.</p> <p>I'm curious is the concept I outline above has been studied systematically for a wider class of algebraic examples. Of course $\cal{A}=\mathbb{C}$ is interesting, but is this idea useful beyond complex variables?</p> <p>I can calculate the so-called CR-equations from the $\cal{A}$-linearity of the differential for algebras other than $\mathbb{C}$, but for what $\cal{A}$ is the concept of $d/dz$ meaningful for $z$ an $\cal{A}$-valued variable?</p> <p>Thank you in advance for any insights. </p>