A Fujita-type global existence—global non-existence theorem for a system of reaction diffusion equations with differing diffusivities

In this paper we condiser non-negative solutions of the initial value problem in ?^N for the system where 0 ? δ ? 1 and pq > 0. We prove the following conditions. Suppose min(p,q)≥1 but pq1.

• (a) If δ = 0 then u=v=0 is the only non-negative global solution of the system.
• (b) If δ>0, non-negative non-globle solutions always exist for suitable initial values.
• (c) If 0<?1 and max(α, β) ≥ N/2, where qα = β + 1, pβ = α + 1, then the conclusion of (a) holds.
• (d) If N > 2, 0 < δ ? 1 and max (α β) < (N - 2)/2, then global, non-trivial non-negative solutions exist which belong to L^∞(?^N×[0, ∞]) and satisfy 0 < u(X, t) ? c∣x∣^?2α and 0 < v(X, t) ? c ∣x∣^?2bT for large ∣x∣ for all t > 0, where c depends only upon the initial data.
• (e) Suppose 0 > δ 1 and max (α, β) < N/2. If N> = 1,2 or N > 2 and max (p, q)? N/(N-2), then global, non-trivial solutions exist which, after makinng the standard ‘hot spot’ change of variables, belong to the weighted Hilbert space H¹ (K) where K(x) ? exp(¼∣x∣²). They decay like e^{[max(α,β)-(N/2)+ε]t} for every ε > 0. These solutions are classical solutions for t > 0.
• (f) If max (α, β) < N/2, then threre are global non-tivial solutions which satisfy, in the hot spot variables where where 0 < ε = ε(u₀, v₀) < (N/2)?;max(α, β). Suppose min(p, q) ? 1.
• (g) If pq ≥ 1, all non-negative solutions are global. Suppose min(p, q) < 1.
• (h) If pg > 1 and δ = 0, than all non-trivial non-negative maximal solutions are non-global.
• (i) If 0 < δ ? 1, pq > 1 and max(α,β)≥ N/2 all non-trivial non-negative maximal solutions are non-global.
• (j) If 0 < δ ≥ 1, pq > 1 and max(α,β) < N/2, there are both global and non-negative solutions.

We also indicate some extensions of these results to moe general systems and to othere geometries.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

Euler‐lagrange equation and regularity for flat minimizers of the Willmore functional

Let \input amssym $S\subset{\Bbb R}^2$ be a bounded domain with boundary of class C^∞, and let g_ij = δ_ij denote the flat metric on \input amssym ${\Bbb R}^2$ . Let u be a minimizer of the Willmore functional within a subclass (defined by prescribing boundary conditions on parts of ∂S) of all W^2,2 isometric immersions of the Riemannian manifold (S, g) into \input amssym ${\Bbb R}^3$ . In this article we derive the Euler‐Lagrange equation and study the regularity properties for such u. Our main regularity result is that minimizers u are C³ away from a certain singular set Σ and C^∞ away from a larger singular set Σ ∪ Σ₀. We obtain a geometric characterization of these singular sets, and we derive the scaling of u and its derivatives near Σ₀. Our main motivation to study this problem comes from nonlinear elasticity: On isometric immersions, the Willmore functional agrees with Kirchhoff's energy functional for thin elastic plates. © 2010 Wiley Periodicals, Inc.     

Seifert Conjecture in the Even Convex Case

In this paper, we prove that there exist at least n geometrically distinct brake orbits on every C² compact convex symmetric hypersurface Σ in ?²ⁿ satisfying the reversible condition NΣ = Σ with N = diag(?I_n,Iⁿ). As a consequence, we show that if the Hamiltonian function is convex and even, then Seifert conjecture of 1948 on the multiplicity of brake orbits holds for any positive integern. © 2014 Wiley Periodicals, Inc.     

Compactification of the space of branched coverings of the two-dimensional sphere

For a closed oriented surface Σ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let X_Σ,n be the set of isomorphism classes of orientation-preserving n-fold branched coverings Σ → S ² of the two-dimensional sphere. We complete X_Σ,n with the isomorphism classes of mappings that cover the sphere by the degenerations of Σ. In the case Σ = S ², the topology that we define on the obtained completion \({\overline X _{\Sigma ,n}}\) coincides on \({X_{{s^2},n}}\) with the topology induced by the space of coefficients of rational functions P/Q, where P and Q are homogeneous polynomials of degree n on ?P¹ ≌ S ². We prove that \({\overline X _{\Sigma ,n}}\) coincides with the Diaz–Edidin–Natanzon–Turaev compactification of the Hurwitz space H(Σ, n) ? X _Σ,n consisting of isomorphism classes of branched coverings with all critical values being simple.     

Orientation embedding of signed graphs

A signed graph Σ consists of a graph and a sign labeling of its edges. A polygon in Σ is “balanced” if its sign product is positiive. A signed graph is “orientatio embedded” in a surface if it is topologically embedded and a polygon is balanced precisely when traveling once around it preserves orientation. We explore the extension to orientation embedding of the ordinary theory of graph embedding. Let d(Σ) be the demigenus (= 2 - x(S)) of the unique smallest surface S in which Σ has an orientation embedding. Our main results are an easy one, that if Σ has connected components Σ₁, Σ[2], ?, then d(Σ) = d(Σ₁) + ?, and a hard one, that if Σ has a cut vertex v that splits Σ into Σ₁, Σ₂, ?, then d(Σ) = d(Σ₁) + d(Σ₂) + ? -δ, where δ depends on the number of Σ_i in which v is “loopable”, that is, in which d(Σ_i) = d(Σ_{i with a negative loop added to v}). This is as with ordinary orientable grpah embedidng except for the existence of the term δ in the cut-vertex formula. Since loopability is crucial, we give some partial criteria for it. (A complete characterization seems difficult.) We conclude with an application to forbidden subgraphs and minors for orientation embeddability in a given surface. © 1929 John Wiley & Sons, Inc.     

Differential Inequalities and Starlikeness

We study some differential inequalities in the unit disc which imply starlikeness: for example if ? (z) = z + Σ^∞ _n=2 a_n (?)zⁿ is analytic in D = {z | |z| < 1} and |z(?′′(z) ? 1)| ≤ 1 ? α, z?D for some α ] [0, 1), then ? is one-to-one on D and ? (D) is a starlike domain with respect to the origin.     

Subplanes of projective planes of order 121

We determine orbit representatives of all proper subplanes generated by quadrangles of a Veblen-Wedderburn (VW) plane Π of order 11² and the Hughes plane Σ of order 11² under their full collineation groups. In Π, there are 13 orbits of Baer subplanes all of which are desarguesian and approximately 3000 orbits of Fano subplanes. In Σ, there are 8 orbits of Baer subplanes all of which are desarguesian, 2 orbits of subplanes of order 3 and at most 408,075 distinct Fano subplanes. This work was motivated by the well-known question: “Does there exist a non-desarguesian projective plane of prime order?” The question remains unsettled.     

Solving a class of variational inequalities with inexact oracle operators

Consider a class of variational inequality problems of finding ${x^*\in S}Consider a class of variational inequality problems of finding x^* ? S{x^*\in S}, such that

f(x*)T (z-x*) 3 0,    "z ? S,f(x^*)^\top (z-x^*)\geq 0,\quad \forall z\in S,      10. Tangent-Point Repulsive Potentials for a Class of Non-smooth m-dimensional Sets in ℝ n . Part I: Smoothing and Self-avoidance Effects      Paweł Strzelecki  Heiko von der Mosel 《Journal of Geometric Analysis》2013,23(3):1085-1139 We consider repulsive potential energies $\mathcal {E}_{q}(\Sigma)$ , whose integrand measures tangent-point interactions, on a large class of non-smooth m-dimensional sets Σ in ? n . Finiteness of the energy $\mathcal {E}_{q}(\Sigma)$ has three sorts of effects for the set Σ: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of Σ onto suitable m-planes and therefore large m-dimensional Hausdorff measure of Σ within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey–Sobolev embedding theorem: Any admissible set Σ with finite $\mathcal {E}_{q}$ -energy, for any exponent q>2m, is, in fact, a C 1-manifold whose tangent planes vary in a Hölder continuous manner with the optimal Hölder exponent μ=1?(2m)/q. Moreover, the patch size of the local C 1,μ -graph representations is uniformly controlled from below only in terms of the energy value $\mathcal {E}_{q}(\Sigma)$ .      11. Characterizing W 2,p Submanifolds by p -Integrability of Global Curvatures      Sławomir Kolasiński  Paweł Strzelecki  Heiko von der Mosel 《Geometric And Functional Analysis》2013,23(3):937-984 We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold ${\Sigma^m \subset \mathbb{R}^n}$ of class C 1 and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set Σ satisfying a mild general condition relating the size of holes in Σ to the flatness of Σ measured in terms of beta numbers) is in fact an embedded manifold of class ${C^{1,\tau} \cap W^{2,p}}$ , where p > m and τ = 1 ? m/p. The results are based on a careful analysis of Morrey estimates for integral curvature–like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on Σ or (b) the size of spheres tangent to Σ at one point and passing through another point of Σ. Appropriately defined maximal functions of such integrands turn out to be of class L p (Σ) for p > m if and only if the local graph representations of Σ have second order derivatives in L p and Σ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set Σ is a round sphere.      12. The Willmore functional and the containment problem in R4      Jia-zu Zhou 《中国科学 数学(英文版)》2007,50(3):325-333 Let Σ be a convex hypersurface in the Euclidean space R 4 with mean curvature H. We obtain a geometric lower bound for the Willmore functional ∫Σ H 2 dσ. This bound is an invariant involving the area of Σ, the volume and Minkowski quermassintegrals of the convex body that Σ bounds. We also obtain a sufficient condition for a convex body to contain another in the Euclidean space R 4.      13. On power deformations of univalent functions      Yong Chan Kim  Toshiyuki Sugawa 《Monatshefte für Mathematik》2012,167(2):231-240 For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) ? 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f c (z) = z(f (z)/z) c for a complex number c. We determine those values c for which the operator \({f \mapsto f_c}\) maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.      14. Differential subordinations concerning starlike functions      S Ponnusamy 《Proceedings Mathematical Sciences》1994,104(2):397-411 Denote byS * (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a 2z2+...+anzn+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)μ−1<h(z) implies f∈S*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.      15. Centralisers in Surface Braid Groups      《代数通讯》2013,41(10):4099-4115 Abstract Let Σ be an orientable surface. We generalise Fenn–Rolfsen–Zhu's results on centralisers of singular braids on the disk to singular braids on Σ. As a corollary, we derive a simple and geometric proof of the fact that the word problem is solvable in the monoid of singular braids on n strands on Σ.      16. Coefficient estimates of negative powers and inverse coefficients for certain starlike functions      MD FIROZ ALI  A VASUDEVARAO 《Proceedings Mathematical Sciences》2017,127(3):449-462 For ?1≤B<A≤1, let \(\mathcal {S}^{*}(A,B)\) denote the class of normalized analytic functions \(f(z)= z+{\sum }_{n=2}^{\infty }a_{n} z^{n}\) in |z|<1 which satisfy the subordination relation z f ′(z)/f(z)?(1 + A z)/(1 + B z) and Σ?(A,B) be the corresponding class of meromorphic functions in |z|>1. For \(f\in \mathcal {S}^{*}(A,B)\) and λ>0, we shall estimate the absolute value of the Taylor coefficients a n (?λ,f) of the analytic function (f(z)/z)?λ . Using this we shall determine the coefficient estimate for inverses of functions in the classes \(\mathcal {S}^{*}(A,B)\) and Σ?(A,B).      17. Convex decompositions in the plane and continuous pair colorings of the irrationals      S. Geschke  M. Kojman  W. Kubiś  R. Schipperus 《Israel Journal of Mathematics》2002,131(1):285-317 We address the structure of nonconvex closed subsets of the Euclidean plane. A closed subsetS⊆ℝ2 which is not presentable as a countable union of convex sets satisfies the following dichotomy: (1)  There is a perfect nonemptyP⊆S so that |C∩P|<3 for every convexC⊆S. In this case coveringS by convex subsets ofS is equivalent to coveringP by finite subsets, hence no nontrivial convex covers ofS can exist. (2)  There exists a continuous pair coloringf: [N]2→{0, 1} of the spaceN of irrational numbers so that coveringS by convex subsets is equivalent to coveringN byf-monochromatic sets. In this case it is consistent thatS has a convex cover of cardinality strictly smaller than the continuumc in some forcing extension of the universe. We also show that iff: [N]2→{0, 1} is a continuous coloring of pairs, and no open subset ofN isf-monochromatic, then the least numberκ off-monochromatic sets required to coverN satisfiesK +>-c. Consequently, a closed subset of ℝ2 that cannot be covered by countably many convex subsets, cannot be covered by any number of convex subsets other than the continuum or the immediate predecessor of the continuum. The analogous fact is false for closed subsets of ℝ3.      18. Uniqueness of highly representative surface embeddings      P. D. Seymour  Robin Thomas 《Journal of Graph Theory》1996,23(4):337-349 Let Σ be a (connected) surface of “complexity” κ; that is, Σ may be obtained from a sphere by adding either ½κ handles or κ crosscaps. Let ρ ≥ 0 be an integer, and let Γ be a “ρ-representative drawing” in Σ; that is, a drawing of a graph in Σ so that every simple closed curve in Σ that meets the drawing in < ρ points bounds a disc in Σ. Now let Γ′ be another drawing, in another surface Σ′ of complexity κ′, so that Γ and Γ′ are isomorphic as abstract graphs. We prove that. (i) If ρ ≥ 100 log κ/ log log κ (or ρ ≥ 100 if κ ≤ 2) then κ′ ≥ κ, and if κ′ = κ and Γ is simple and 3-connected there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, and. (ii) if Γ is simple and 3-connected and Γ′ is 3-representative, and ρ ≥ min (320, 5 log κ), then either there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, or κ′ ≥ κ + 10-4 ρ2. © 1996 John Wiley & Sons, Inc.      19. On the Zeros of f  n (z)f ( k )(z) − c(z)      《复变函数与椭圆型方程》2012,57(8):695-703       20. Systeme halbkonzentrischer Kreise der euklidischen Ebene im komplexen Gebiet      Prof. Dr. Fritz Hohenberg 《Monatshefte für Mathematik》1975,79(3):223-232 All circles having the same tangent in one of the two absolute pointsJ, \(\bar J\) are said to be semi-concentric. They form a special net of conics Σ. By means of a complex conformal transformationT, Σ corresponds to the system Σ′ of the straight lines. Congruent circles in Σ correspond to parallel lines in Σ′. Moebius geometry in Σ is shown to be a model of the plane euclidean geometry. Furthermore, the plane is projected stereographically onto a Riemannian sphere; thenT corresponds to a biaxial involutionT 1 which transforms the sphere into itself. The circles of Σ correspond to the intersections of the sphere with the planes passing throughJ. Finally, for a curvec having an ordinary point inJ, it follows thatc possesses inJ generally a well-defined radius of curvature but an infinite number of circles of curvature; one of them hyperosculatesc inJ. ByT, these circles correspond to a pencil of parallel lines. There are also considered examples of several special curves passing throughJ and \(\bar J\) .

Tangent-Point Repulsive Potentials for a Class of Non-smooth m-dimensional Sets in ℝ n . Part I: Smoothing and Self-avoidance Effects

We consider repulsive potential energies $\mathcal {E}_{q}(\Sigma)$ , whose integrand measures tangent-point interactions, on a large class of non-smooth m-dimensional sets Σ in ? ⁿ . Finiteness of the energy $\mathcal {E}_{q}(\Sigma)$ has three sorts of effects for the set Σ: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of Σ onto suitable m-planes and therefore large m-dimensional Hausdorff measure of Σ within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey–Sobolev embedding theorem: Any admissible set Σ with finite $\mathcal {E}_{q}$ -energy, for any exponent q>2m, is, in fact, a C ¹-manifold whose tangent planes vary in a Hölder continuous manner with the optimal Hölder exponent μ=1?(2m)/q. Moreover, the patch size of the local C ^1,μ -graph representations is uniformly controlled from below only in terms of the energy value $\mathcal {E}_{q}(\Sigma)$ .     

Characterizing W 2,p Submanifolds by p -Integrability of Global Curvatures

We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold ${\Sigma^m \subset \mathbb{R}^n}$ of class C ¹ and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set Σ satisfying a mild general condition relating the size of holes in Σ to the flatness of Σ measured in terms of beta numbers) is in fact an embedded manifold of class ${C^{1,\tau} \cap W^{2,p}}$ , where p > m and τ = 1 ? m/p. The results are based on a careful analysis of Morrey estimates for integral curvature–like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on Σ or (b) the size of spheres tangent to Σ at one point and passing through another point of Σ. Appropriately defined maximal functions of such integrands turn out to be of class L ^p (Σ) for p > m if and only if the local graph representations of Σ have second order derivatives in L ^p and Σ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set Σ is a round sphere.     

The Willmore functional and the containment problem in R4

Let Σ be a convex hypersurface in the Euclidean space R ⁴ with mean curvature H. We obtain a geometric lower bound for the Willmore functional ∫_Σ H ² dσ. This bound is an invariant involving the area of Σ, the volume and Minkowski quermassintegrals of the convex body that Σ bounds. We also obtain a sufficient condition for a convex body to contain another in the Euclidean space R ⁴.     

On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) ? 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator \({f \mapsto f_c}\) maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

Differential subordinations concerning starlike functions

Denote byS ^* (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a ₂z²+...+a_nzⁿ+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)^μ−1<h(z) implies f∈S^*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.     

Centralisers in Surface Braid Groups

Abstract

Let Σ be an orientable surface. We generalise Fenn–Rolfsen–Zhu's results on centralisers of singular braids on the disk to singular braids on Σ. As a corollary, we derive a simple and geometric proof of the fact that the word problem is solvable in the monoid of singular braids on n strands on Σ.     

Coefficient estimates of negative powers and inverse coefficients for certain starlike functions

For ?1≤B<A≤1, let \(\mathcal {S}^{*}(A,B)\) denote the class of normalized analytic functions \(f(z)= z+{\sum }_{n=2}^{\infty }a_{n} z^{n}\) in |z|<1 which satisfy the subordination relation z f ^′(z)/f(z)?(1 + A z)/(1 + B z) and Σ^?(A,B) be the corresponding class of meromorphic functions in |z|>1. For \(f\in \mathcal {S}^{*}(A,B)\) and λ>0, we shall estimate the absolute value of the Taylor coefficients a _n (?λ,f) of the analytic function (f(z)/z)^?λ . Using this we shall determine the coefficient estimate for inverses of functions in the classes \(\mathcal {S}^{*}(A,B)\) and Σ^?(A,B).     

Convex decompositions in the plane and continuous pair colorings of the irrationals

We address the structure of nonconvex closed subsets of the Euclidean plane. A closed subsetS⊆ℝ² which is not presentable as a countable union of convex sets satisfies the following dichotomy:

Uniqueness of highly representative surface embeddings

Let Σ be a (connected) surface of “complexity” κ; that is, Σ may be obtained from a sphere by adding either ½κ handles or κ crosscaps. Let ρ ≥ 0 be an integer, and let Γ be a “ρ-representative drawing” in Σ; that is, a drawing of a graph in Σ so that every simple closed curve in Σ that meets the drawing in < ρ points bounds a disc in Σ. Now let Γ′ be another drawing, in another surface Σ′ of complexity κ′, so that Γ and Γ′ are isomorphic as abstract graphs. We prove that. (i) If ρ ≥ 100 log κ/ log log κ (or ρ ≥ 100 if κ ≤ 2) then κ′ ≥ κ, and if κ′ = κ and Γ is simple and 3-connected there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, and. (ii) if Γ is simple and 3-connected and Γ′ is 3-representative, and ρ ≥ min (320, 5 log κ), then either there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, or κ′ ≥ κ + 10^-4 ρ². © 1996 John Wiley & Sons, Inc.     

Systeme halbkonzentrischer Kreise der euklidischen Ebene im komplexen Gebiet

All circles having the same tangent in one of the two absolute pointsJ, \(\bar J\) are said to be semi-concentric. They form a special net of conics Σ. By means of a complex conformal transformationT, Σ corresponds to the system Σ′ of the straight lines. Congruent circles in Σ correspond to parallel lines in Σ′. Moebius geometry in Σ is shown to be a model of the plane euclidean geometry. Furthermore, the plane is projected stereographically onto a Riemannian sphere; thenT corresponds to a biaxial involutionT ₁ which transforms the sphere into itself. The circles of Σ correspond to the intersections of the sphere with the planes passing throughJ. Finally, for a curvec having an ordinary point inJ, it follows thatc possesses inJ generally a well-defined radius of curvature but an infinite number of circles of curvature; one of them hyperosculatesc inJ. ByT, these circles correspond to a pencil of parallel lines. There are also considered examples of several special curves passing throughJ and \(\bar J\) .