CURIE SYMMETRY PRINCIPLE
IN NONLINEAR FUNCTIONAL ANALYSIS

 

TOMOAKI CHIBA AND HIROYUKI NAGAHAMA




 

Name: Tomoaki Chiba, Earth Scientist, (b. Akita, JAPAN, 1975).

Address: Institute of Geology and Paleontology, Graduate School of Science, Tohoku University, Aoba, Aramaki, Aoba-ku, Sendai 980-8578, Japan.

E-mail: chiba@dges.tohoku.ac.jp

Fields of interest: Geosciences, mathematical physics.

Name: Hiroyuki Nagahama, Earth Scientist, (b. Hokkaido, JAPAN, 1961).

Address: Institute of Geology and Paleontology, Graduate School of Science, Tohoku University, Aoba, Aramaki, Aoba-ku, Sendai 980-8578, Japan. E-mail: nagahama@dges.tohoku.ac.jp.

Fields of interest: Geosciences, geometrical physics.


 
 

Abstract: The Curie symmetry principle states that the effect may occasionally have the same or a higher symmetry than the causes. But some nonlinear phenomena are found out to break this principle in observation. Especially, some of these phenomena dominated by nonlinear functional equations can be mathematically shown to break the Curie principle by Sattinger’s group theoretical method. The result of the group theoretical method manifests both preserving and breaking the Curie principle occur in a nonlinear system.

 
 

1 INTRODUCTION: THE CURIE PRINCIPLE

The Curie symmetry principle (Curie, 1894) is the causality relation between the symmetry of the cause and that of the effect. The principle is composed of three parts:

  • If certain causes yield the known effects, the symmetry elements of the causes should be contained in the generated effects.
  • If the known effects manifest certain dissymmetry (absence of symmetry elements), this latter should be contained in the causes which have generated those effects.
  • The converse to these two previous propositions is not true, at least in practical: i.e., the effects may have higher symmetry than the causes which generate these effects.
The Curie principle is mentioned and restated by many following researchers (Jaeger, 1917; Prigogine, 1947; Groot and Mazur, 1963; Chalmers, 1970; Shubnikov and Kopstik, 1974; Koptsik, 1983; Shubnikov, 1988; Ismael, 1997). The principle is always correct in the phenomena dominated by linear process in practice and therefore a powerful constraint for predicting an unavailable physical condition with perfect symmetry, e.g. in crystallography. On the other hand, several nonlinear phenomena are observed to break the Curie principle (e.g. Radicati, 1987; Stewart and Golubitsky, 1992; Nakamura and Nagahama, 2000). Some of those phenomena have dominant equations described as functional forms. Methods for analyzing the symmetry of a nonlinear system expressed in functional form is mathematically discussed in association with group theory (Sattinger, 1977, 1978, 1979; Fujii and Yamaguti, 1980; Golubitsky and Schaeffer, 1985; Golubitsky et al., 1988). In this paper, we show that breaking of the Curie principle can be mathematically explained for nonlinear functional equations using Sattinger’s group theoretical method. This doesn't deny an existence of the Curie principle, rather manifests both preserving and breaking the principle occurs in a nonlinear system.
 
 

2 NONLINEAR FUNCTIONAL ANALYSIS

Sattinger (1979) described the method to analyze functional in association with group theory. Nonlinear functional equations are generally represented in the form (1) F(m , w) = 0 where F: R´B®B and w = w(m) (mÎR,wÎ B). It denotes that w is defined on a Banach space B and depends on a real parameter (bifurcation parameter) and that F maps w to new w with the change of m. Sattinger investigated the functional equations which mapping F is covariant under group G, i.e. (2) F(m , gw) = gF(m , w) where G and g are set and its element, respectively. In this paper, we consider for unitary group that preserves the inner product invariant. This assumption doesn’t loose generality in considering most of real phenomena. Since unitary group is isomorphic with general linear group that is a set of linear mapping, we can take advantage of knowledge and techniques in linear algebra. With application of group representation theory, we can define "standard decomposition" (Sattinger, 1979). We decompose Hilbert space H here since we have to analyze functional equations on H to deal with unitary group. Then H is decomposed into some Ha which corresponds to each irreducible element gaÎG and Ha intersects orthogonally one another. Therefore, we can now treat variables by its symmetrical compositions, e.g. w = (w1f 1, w2f 2, ¼ , wqf q) where (f1, f2, ¼ , fq) is a symmetrical basis. Each projection Pa onto Ha can also be defined (Sattinger, 1979; Fujii and Yamaguti, 1980). Especially, a= 1 is assigned to isotoropy group and TgP1 = P1 for the transformations Tg (gaÎG). Furthermore, we define Fréchet derivative F´= F/ w to investigate local mapping of functional in the neighborhood of a point (m0, w0) at which F´ is defined. If there exists reducible F´(m0, w0), implicit function theorem assures that eq.(1) has a unique solution in the neighborhood of (m0, w0). If F is irreducible at a certain point, this point is singular and several solutions exist in its neighborhood. For simplicity, we consider about only simple, i.e. not multiple singular points in this paper.
 
 

3 SYMMETRY IN FUNCTIONAL SYSTEMS

First we consider the case thatF is reducible. Since TgP1 = P1, Tgw = w for w = w1ÎH1. With this G-invariant property, symmetry preserving of G-covariant mapping in the subspace is proved. This is to say that for all w1ÎH1,F(m, w1) = PaF(m, w1) is derived from eq.(2). Therefore, PaF(m, w1) = 0 (a = 2, 3, ¼ , q). Since P1 reflects isotoropy group, both relations indicate that the solution path of eq.(1) is enclosed in the subspace H1 unless F becomes irreducible. In other words, the symmetry of the system does not change on each solution path. Next we consider the case that F is irreducible. From eq.(2), Fréchet derivative F´ satisfies the following equation F´(m, Tgw)×Tg = TgF´(m, w) ("g ÎG, "w ÎH). Multiplying by the group characters and summing for "g ÎG, we get F´(m, w1)Pa = PaF´(m, w1) (a = 1, ¼ , q; "w1 ÎH1). According to linear algebra, it denotes that F´ can be represented as a diagonal matrix form, i.e. F´(m ,w) = (F1´, F2´, ¼, Fq´). Since the basis represents the symmetry, each eigenvalue Fa´ corresponds to a certain symmetrical element of the system. According to Sattinger (1979), the symmetry corresponding Fa´ = 0 dominates the new solution path, e.g. the path bifurcating from the singular point. Because the new solution path is more stable (Fujii and Yamaguti, 1980), the system follows the new path. Therefore, if eigenfunction of Fa´ = 0 doesn’t correspond the symmetry dominated the system until reaching the singular point, the symmetry of the system has not been held yet. Since the old path belongs to the space corresponding the isotoropy group, the new path belongs in most case to the space corresponding the other subgroup with the lower symmetry than that of decomposed original space. The system is "dissymetrical" at the singular point in this sense.
 
 

4 RECONSIDERATION OF CURIE PRINCIPLE

Finally, we consider the Curie principle in functional analysis. We can derive another Fréchet derivative = ?F/?m in the space with symmetrical basis by the same procedures described above. Because eq.(1) denotes the relation w = w(m), we can refer m and w as the cause and the effect, respectively. Then, we can refer  and F´ as representing the symmetries of the cause and the effect, respectively. Once Fa´ not corresponding to the existing component of  becomes to 0, the symmetry of the cause is no longer preserved in the symmetry of the effect. This case is just the "breaking of the Curie symmetry principle". In contrast, even if Fa´ corresponding the existing component of becomes to 0, the symmetry of the cause is held in the effect. The Curie symmetry principle is preserved in this case. Of course, the principle is preserved if F´ is reducible. In this sense, both preserving and breaking of the Curie symmetry principle occur in a same nonlinear system.
 
 


References

Chalmers, A.F. (1970) Curie's principle, The British Journal for the Philosophy Science, 21, 133-148.

Cicogna, G. (1981) Symmetry breakdown from bifurcation, Lettere al Nuovo Cimento, 31, 600-602.

Curie, P. (1894) Sur la symétrie des phénomènes physiques: symétrie d'un champ électrique et d'un champ magnétique, Journal de Physique, 3e série, 393-415.

Fujii, H. and Yamaguti, M. (1980) Structure of singularities and its numerical realization in nonlinear elasticity, Journal of Mathematics of Kyoto University, 20, 489-590.

Golubitsky, M. and Schaeffer, D.G. (1985) Singularities and Groups in Bifurcation Theory, Vol. 1, Applied Mathematical Sciences Vol. 51, New York: Springer-Verlag, 463 pp.

Golubitsky, M., Stewart, I. and Schaeffer, D.G. (1988) Singularities and Groups in Bifurcation Theory, Vol. 2, Applied Mathematical Sciences Vol. 69, New York: Springer-Verlag, 533 pp.

Groot, S.R. de and Mazur, P. (1963) Non-Equilibrium Thermodynamics, Series in Dynamics, Vol.9, Amsterdam:North-Holland, 510 pp.

Ismael, J. (1997) Curie's principle, Synthese, 110, 167-190.

Jaeger, F. M. (1917) Lectures on the Principles of Symmetry and Its Application in All Natural Sciences, Amsterdam: Elsevier, 333 pp.

Koptsik, V. A. (1983) Symmetry principle in physics. Journal of Physics C, 16, 23-34.

Nakamura, N. and Nagahama, H. (2000) Curie symmetry principle: Does it constrain the analysis of structural geology?, Forma, 15, 87-94.

Prigogine, I. (1947) Etude Thermodynamique des Phénomènes Irréversibles, Desoer: Liége, 143 pp.

Radicati, L.A. (1987) Remarks on the early developments of the notion of symmetry breaking, In: Doncel, M. G., ed., Symmetries in Physics (1960-1980), BellaTerra: Universitat Autònoma de Barcelona, 195-206.

Sattinger, D.H. (1977) Group representation theory and branch points of nonlinear functional equations, SIAM Journal on Mathematical Analysis, 8, 179-201.

Sattinger, D.H. (1978) Group representation theory, bifurcation theory and pattern formation. Journal of Functional Analysis, 28, 58-101.

Sattinger, D.H. (1979) Group Theoretic Methods in Bifurcation Theory, Lecture Notes in Mathematics, Vol. 762, Berlin: Springer-Verlag, 241 pp.

Shubnikov, A.V. and Koptsik, V.A. (1974) Symmetry in Science and Art, New York: Plenum, 420 pp.

Shubnikov, A.V. (1988) On the works of Pierre Curie on symmetry, Computers & Mathematics with Applications, 16, 357-364.

Stewart, I. and Golubitsky, M. (1992) Fearful Symmetry: Is God a Geometer?, London: Blackwell, 287 pp.
 


 

Contents