Showing 1–34 of 34 results for author: Nishimura, T

A characterization of the Legendre involution on the class of generic frontals

Authors: Takashi Nishimura

Abstract: We show that, under an additional mild assumption, on the class of generic frontals, any involution whose fixed point set is exactly the same as the fixed point set of the Legendre involution must be the Legendre involution (Theorem 2 in §1). Moreover, its natural complexification (Corollary 1 in §3) is simultaneously shown. We show that, under an additional mild assumption, on the class of generic frontals, any involution whose fixed point set is exactly the same as the fixed point set of the Legendre involution must be the Legendre involution (Theorem 2 in §1). Moreover, its natural complexification (Corollary 1 in §3) is simultaneously shown. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 9 pages, no figures

MSC Class: 57R45; 58C25

On envelopes of circle families in the plane

Authors: Yongqiao Wang, Takashi Nishimura

Abstract: In this paper we investigate the relationships between envelopes of circle families and some special curves in the plane, such as evolutes, pedals, evolutoids and pedaloids. In this paper we investigate the relationships between envelopes of circle families and some special curves in the plane, such as evolutes, pedals, evolutoids and pedaloids. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Envelopes of straight line families in the plane

Authors: Takashi Nishimura

Abstract: There is a widespread method to represent the envelope when a given hyperplane family creates an envelope. However, one sometimes encounters cases when the widespread method fails to represent the desired envelope precisely, and is confused. At the same time, one wants to find a correct method to draw the envelope precisely. In this article, focused on straight line families in the plane, an eas… ▽ More There is a widespread method to represent the envelope when a given hyperplane family creates an envelope. However, one sometimes encounters cases when the widespread method fails to represent the desired envelope precisely, and is confused. At the same time, one wants to find a correct method to draw the envelope precisely. In this article, focused on straight line families in the plane, an easy to understand explanation is given on the recently discovered correct method to represent the envelope precisely. Moreover, it is explained when and why the widespread method fails to represent the precise shape of envelope as well. △ Less

Submitted 7 May, 2024; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: Slightly modified version. To appear in Hokkaido Mathematical Journal

MSC Class: 57R45; 58C25

Envelopes created by circle families in the plane

Authors: Yongqiao Wang, Takashi Nishimura

Abstract: In this paper, on envelopes created by circle families in the plane, all four basic problems (existence problem, representation problem, problem on the number of envelopes, problem on relationships of definitions) are solved. In this paper, on envelopes created by circle families in the plane, all four basic problems (existence problem, representation problem, problem on the number of envelopes, problem on relationships of definitions) are solved. △ Less

Submitted 9 May, 2023; v1 submitted 11 January, 2023; originally announced January 2023.

Comments: some minor mistakes revisd

MSC Class: 57R45; 58C25

Hyperplane families creating envelopes

Authors: Takashi Nishimura

Abstract: A simple geometric mechanism: "the locus of intersections of perpendicular bisectors and normal lines", often arises in many guises in Nonlinear Sciences. In this paper, a new application of this simple geometric mechanism is given. Namely, we show that this mechanism gives answers to all four basic problems on envelopes created by hyperplane families (existence problem, representation problem, eq… ▽ More A simple geometric mechanism: "the locus of intersections of perpendicular bisectors and normal lines", often arises in many guises in Nonlinear Sciences. In this paper, a new application of this simple geometric mechanism is given. Namely, we show that this mechanism gives answers to all four basic problems on envelopes created by hyperplane families (existence problem, representation problem, equivalence problem of definitions, uniqueness problem) at once. △ Less

Submitted 1 April, 2022; v1 submitted 4 April, 2021; originally announced April 2021.

Comments: Minor revision. 28 pages, 14 figures, to appear in Nonlinearity

MSC Class: 57R45; 58C25

Higher-order error estimates of the discrete-time Clark--Ocone formula

Authors: Tsubasa Nishimura, Kenji Yasutomi, Tomooki Yuasa

Abstract: In this article, we investigate the convergence rate of the discrete-time Clark--Ocone formula provided by Akahori--Amaba--Okuma [1]. In that paper, they mainly focus on the $L_{2}$-convergence rate of the first-order error estimate related to the tracking error of the delta hedge in mathematical finance. Here, as two extensions, we estimate "the higher order error" for Wiener functionals with an… ▽ More In this article, we investigate the convergence rate of the discrete-time Clark--Ocone formula provided by Akahori--Amaba--Okuma [1]. In that paper, they mainly focus on the $L_{2}$-convergence rate of the first-order error estimate related to the tracking error of the delta hedge in mathematical finance. Here, as two extensions, we estimate "the higher order error" for Wiener functionals with an integrability index $2$ and "an arbitrary differentiability index." △ Less

Submitted 13 October, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 18 pages

MSC Class: 60H07

Spherical Separation Theorem

Authors: Huhe Han, Takashi Nishimura

Abstract: In this paper, it is shown that for any two non-empty closed (resp., open) and spherical convex subsets $\mathcal{W}_1, \mathcal{W}_2$ of $S^n$, the intersection $\mathcal{W}_1\cap \mathcal{W}_2$ is empty if and only if the subset $\{P\in S^n\; |\; P\cdot Q>0 \mbox{ for any } Q\in \mathcal{W}_1 \mbox{ and } P\cdot R<0 \mbox{ for any } R\in \mathcal{W}_2\}$ is non-empty, open (resp., closed) and sp… ▽ More In this paper, it is shown that for any two non-empty closed (resp., open) and spherical convex subsets $\mathcal{W}_1, \mathcal{W}_2$ of $S^n$, the intersection $\mathcal{W}_1\cap \mathcal{W}_2$ is empty if and only if the subset $\{P\in S^n\; |\; P\cdot Q>0 \mbox{ for any } Q\in \mathcal{W}_1 \mbox{ and } P\cdot R<0 \mbox{ for any } R\in \mathcal{W}_2\}$ is non-empty, open (resp., closed) and spherical convex. △ Less

Submitted 16 February, 2020; originally announced February 2020.

Comments: 6 pages, 1 figure

Anti-orthotomics of frontals and their applications

Authors: Stanisław Janeczko, Takashi Nishimura

Abstract: Let $f: N^n\to \mathbb{R}^{n+1}$ be a frontal with its Gauss mapping $ν: N\to S^n$ and let $P\in \mathbb{R}^{n+1}$ be a point such that $(f(x)-P)\cdot ν(x) \ne 0$ for any $x\in N$. In this paper, for the mapping $\widetilde{f}: N\to \mathbb{R}^{n+1}$ defined by $$ \widetilde{f}(x)=f(x)-\frac{||f(x)-P||^2}{2(f(x)-P) \cdot ν(x)}ν(x), $$ the following four are shown. (1) $\widetilde{f}$ is a frontal… ▽ More Let $f: N^n\to \mathbb{R}^{n+1}$ be a frontal with its Gauss mapping $ν: N\to S^n$ and let $P\in \mathbb{R}^{n+1}$ be a point such that $(f(x)-P)\cdot ν(x) \ne 0$ for any $x\in N$. In this paper, for the mapping $\widetilde{f}: N\to \mathbb{R}^{n+1}$ defined by $$ \widetilde{f}(x)=f(x)-\frac{||f(x)-P||^2}{2(f(x)-P) \cdot ν(x)}ν(x), $$ the following four are shown. (1) $\widetilde{f}$ is a frontal with its Gauss mapping $\widetildeν(x)=\frac{f(x)-P}{||f(x)-P||}$ at $\widetilde{f}(x)$. (2) $\widetilde{f}$ is the unique anti-orthotomic of $f$ relative to $P$. (3) The property $(\widetilde{f}(x)-P)\cdot \widetildeν(x)\ne 0 $ holds for any $x\in N$. (4) The equality $||\widetilde{f}(x)-P||=||\widetilde{f}(x)-f(x)||$ holds for any $x\in N$. Moreover, three applications of the main result are given. As the first application, a generalization of Cahn-Hoffman vector formula is given. The second application is to clarify an optical meaning of anti-orthotomics. The third application gives a criterion to be a front for a given frontal. △ Less

Submitted 27 July, 2019; v1 submitted 26 June, 2019; originally announced July 2019.

Comments: 17 pages, 5 figures; explanations added for sections 1 and 3, e-mail address of 2nd author changed, results unchanged

MSC Class: 57R45; 58C25; 53A40

Spherical orthotomic curve-germs

Authors: Xihe Liu, Takashi Nishimura

Abstract: In this paper, it is shown that for an $n$-dimensional spherical unit speed curve $γ: I\to S^n$, a given point $P \in S^n$ and a point $s_0$ of the open interval $I$, the spherical orthotomic curve-germ $ort_{γ, P}: (I, s_0)\to S^n$ of $γ$ relative to $P$ is $\mathcal{L}$-equivalent to the spherical pedal curve-germ $ped_{γ, P}: (I, s_0)\to S^n$ of $γ$ relative to $P$ (resp., the spherical dual cu… ▽ More In this paper, it is shown that for an $n$-dimensional spherical unit speed curve $γ: I\to S^n$, a given point $P \in S^n$ and a point $s_0$ of the open interval $I$, the spherical orthotomic curve-germ $ort_{γ, P}: (I, s_0)\to S^n$ of $γ$ relative to $P$ is $\mathcal{L}$-equivalent to the spherical pedal curve-germ $ped_{γ, P}: (I, s_0)\to S^n$ of $γ$ relative to $P$ (resp., the spherical dual curve-germ ${\bf u}_n: (I, s_0)\to S^n$ of $γ$) if and only if $P\ne \pm{\bf u}_n(s_0)$ (resp., if $P= \pm{\bf u}_n(s_0)$). △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 10 pages, 2 figures

MSC Class: 57R45; 58C25; 53A40; 53A04

Jacobian-squared function-germs

Authors: Takashi Nishimura

Abstract: In this paper, it is shown that, for any equidimensional $C^\infty$ map-germ $f: (\mathbb{R}^n,0)\to (\mathbb{R}^n,0)$, the map-germ $F: (\mathbb{R}^n, 0) \to \mathbb{R}^n\times\mathbb{R}^{\ell}$ defined by $F(x)=\left(f(x), μ_1(x){|Jf|^2(x)}, \cdots, μ_\ell(x){|Jf|^2(x)}\right)$ is always a frontal; where $μ_i$ is a $C^\infty$ function-germ and $|Jf|$ is the Jacobian-determinant of $f$. Moreover,… ▽ More In this paper, it is shown that, for any equidimensional $C^\infty$ map-germ $f: (\mathbb{R}^n,0)\to (\mathbb{R}^n,0)$, the map-germ $F: (\mathbb{R}^n, 0) \to \mathbb{R}^n\times\mathbb{R}^{\ell}$ defined by $F(x)=\left(f(x), μ_1(x){|Jf|^2(x)}, \cdots, μ_\ell(x){|Jf|^2(x)}\right)$ is always a frontal; where $μ_i$ is a $C^\infty$ function-germ and $|Jf|$ is the Jacobian-determinant of $f$. Moreover, it is also shown that when the multiplicity of $f$ is less than or equal to $3$, any frontal constructed from $f$ must be $\mathcal{A}$-equivalent to a frontal $F$ of the above form. △ Less

Submitted 19 June, 2018; originally announced June 2018.

Comments: 13 pages

MSC Class: 57R45; 58K05

Kato's chaos created by quadratic mappings associated with spherical orthotomic curves

Authors: Takashi Nishimura

Abstract: Singular quadratic mappings creating Kato's chaos are given. Singular quadratic mappings creating Kato's chaos are given. △ Less

Submitted 10 June, 2018; originally announced June 2018.

Comments: 6 pages

MSC Class: 37D45; 54H20; 26A18; 39B12

Generic singularities of spherical orthotomic curves associated with spherical pedal curves

Authors: Xihe Liu, Takashi Nishimura

Abstract: For the n-dimensional spherical pedal curve $ped_{γ,P}$ with respect to an n-dimensional spherical unit speed curve $γ$ and a given point $P \in S^n$, we define the spherical orthotomic curve of $γ$ relative to the point $P$, and classify singularities of spherical orthotomic curves. For the n-dimensional spherical pedal curve $ped_{γ,P}$ with respect to an n-dimensional spherical unit speed curve $γ$ and a given point $P \in S^n$, we define the spherical orthotomic curve of $γ$ relative to the point $P$, and classify singularities of spherical orthotomic curves. △ Less

Submitted 10 January, 2019; v1 submitted 27 May, 2018; originally announced May 2018.

Comments: This paper has been withdrawn by the author due to important improvements to be done

Simultaneous smoothness and simultaneous stability of a $C^\infty$ strictly convex integrand and its dual

Authors: Erica Boizan Batista, Huhe Han, Takashi Nishimura

Abstract: In this paper, we investigate simultaneous properties of a convex integrand $γ$ and its dual $δ$. The main results are the following three. (1) For a $C^\infty$ convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is of class $C^\infty$ if and only if $γ$ is a strictly convex integrand. (2) Let $γ: S^n\to \mathbb{R}_+$ be a $C^\infty$ strictly convex in… ▽ More In this paper, we investigate simultaneous properties of a convex integrand $γ$ and its dual $δ$. The main results are the following three. (1) For a $C^\infty$ convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is of class $C^\infty$ if and only if $γ$ is a strictly convex integrand. (2) Let $γ: S^n\to \mathbb{R}_+$ be a $C^\infty$ strictly convex integrand. Then, $γ$ is stable if and only if its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is stable. (3) Let $γ: S^n\to \mathbb{R}_+$ be a $C^\infty$ strictly convex integrand. Suppose that $γ$ is stable. Then, for any $i$ $(0\le i\le n)$, a point $θ_0\in S^n$ is a non-degenerate critical point of $γ$ with Morse index $i$ if and only if its antipodal point $-θ_0\in S^n$ is a non-degenerate critical point of the dual convex integrand $δ$ with Morse index $(n-i)$. △ Less

Submitted 6 July, 2017; originally announced July 2017.

Comments: 19 pages, 3 figures

MSC Class: 52A05; 52A55; 58K05; 58K30

Preservation of immersed or injective properties by composing generic generalized distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: Any generalized distance-squared mapping of equidimensional case has singularities, and their singularity types are wrapped into mystery in higher dimensional cases. Any generalized distance-squared mapping of equidimensional case is not injective. Nevertheless, in this paper, it is shown that the non-singular property or the injective property of a mapping is preserved by composing a generic gene… ▽ More Any generalized distance-squared mapping of equidimensional case has singularities, and their singularity types are wrapped into mystery in higher dimensional cases. Any generalized distance-squared mapping of equidimensional case is not injective. Nevertheless, in this paper, it is shown that the non-singular property or the injective property of a mapping is preserved by composing a generic generalized distance-squared mapping of equidimensional case. △ Less

Submitted 10 October, 2016; originally announced October 2016.

Comments: 9 pages

MSC Class: 57R35; 57R40; 57R42

The Wulff construction for convex integrands

Authors: Huhe Han, Takashi Nishimura

Abstract: For any given Wulff shape $\mathcal{W}$, we can define the unique continuous function $S^{n}\to \mathbb{R}_{+}$ called convex integrand, denoted by $γ_{{}_{\mathcal{W}}}$. In this paper, we show that, for any Wulff shapes $\mathcal{W}_{1}$ and $\mathcal{W}_{2}$, the equality $d(γ_{{}_{\mathcal{W}_{1}}}, γ_{{}_{\mathcal{W}_{2}}})= h(\mathcal{W}_{1}, \mathcal{W}_{2})$ holds, where $d$ is the maximum… ▽ More For any given Wulff shape $\mathcal{W}$, we can define the unique continuous function $S^{n}\to \mathbb{R}_{+}$ called convex integrand, denoted by $γ_{{}_{\mathcal{W}}}$. In this paper, we show that, for any Wulff shapes $\mathcal{W}_{1}$ and $\mathcal{W}_{2}$, the equality $d(γ_{{}_{\mathcal{W}_{1}}}, γ_{{}_{\mathcal{W}_{2}}})= h(\mathcal{W}_{1}, \mathcal{W}_{2})$ holds, where $d$ is the maximum distance of the function space consisting of convex integrands and $h$ is the Pompeiu-Hausdorff distance of the space consisting of Wulff shapes. Moreover, applications of this result are given. △ Less

Submitted 3 June, 2018; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 6 pages, 2 figures. This paper has been withdrawn by the author due to important improvements to be done

MSC Class: 52A20; 52A55; 82D25

Simultaneous stability of $C^\infty$ convex integrands and their duals

Authors: Erica Boizan Batista, Huhe Han, Takashi Nishimura

Abstract: In this paper, the following three are shown. (1) For a $C^\infty$ convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is of class $C^\infty$. (2) For a stable convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is stable. (3) Let $γ: S^n\to \mathbb{R}_+$ be a stable convex integrand. Then, for any $i$… ▽ More In this paper, the following three are shown. (1) For a $C^\infty$ convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is of class $C^\infty$. (2) For a stable convex integrand $γ: S^n\to \mathbb{R}_+$, its dual convex integrand $δ: S^n\to \mathbb{R}_+$ is stable. (3) Let $γ: S^n\to \mathbb{R}_+$ be a stable convex integrand. Then, for any $i$ $(0\le i\le n)$, $θ_0\in S^n$ is a non-degenerate critical point of $γ$ with Morse index $i$ if and only if $-θ_0\in S^n$ is a non-degenerate critical point of the dual convex integrand $δ$ with Morse index $(n-i)$. △ Less

Submitted 4 July, 2017; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: This paper has been withdrawn by the author due to important improvements to be done

MSC Class: 52A05; 52A55; 58K05; 58K30

Stability of $C^\infty$ convex integrands

Authors: Erica Boizan Batista, Huhe Han, Takashi Nishimura

Abstract: In this paper, it is shown that the set consisting of stable convex integrands $S^n\to \mathbb{R}_+$ is open and dense in the set consisting of $C^\infty$ convex integrands with respect to Whitney $C^\infty$ topology. Moreover, an application of the proof of this result is also shown. In this paper, it is shown that the set consisting of stable convex integrands $S^n\to \mathbb{R}_+$ is open and dense in the set consisting of $C^\infty$ convex integrands with respect to Whitney $C^\infty$ topology. Moreover, an application of the proof of this result is also shown. △ Less

Submitted 24 January, 2016; originally announced January 2016.

Comments: 7 pages

MSC Class: 58K05; 58K25

Journal ref: Kyushu Journal of Mathematics, 71 (2017), 187-196

Self-dual Wulff shapes and spherical convex bodies of constant width $π/{2}$

Authors: Huhe Han, Takashi Nishimura

Abstract: For any Wulff shape, its dual Wulff shape is naturally defined. A self-dual Wulff shape is a Wulff shape equaling its dual Wulff shape exactly. In this paper, it is shown that a Wulff shape is self-dual if and only if the spherical convex body induced by it is of constant width $π/{2}$. For any Wulff shape, its dual Wulff shape is naturally defined. A self-dual Wulff shape is a Wulff shape equaling its dual Wulff shape exactly. In this paper, it is shown that a Wulff shape is self-dual if and only if the spherical convex body induced by it is of constant width $π/{2}$. △ Less

Submitted 14 January, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

Comments: 9 pages, 5 figures

MSC Class: 52A55

Uniqueness of the surface energy density for a Wulff shape with $C^1$ boundary

Authors: Huhe Han, Takashi Nishimura

Abstract: Let $γ: S^n\to \mathbb{R}_+$ be a continuous function and let $\mathcal{W}_γ$ be the Wulff shape associated with $γ$. In this paper, we show that if the boundary of $\mathcal{W}_γ$ is a $C^1$ submanifold, then $γ$ must be the convex integrand of $\mathcal{W}_γ$. Let $γ: S^n\to \mathbb{R}_+$ be a continuous function and let $\mathcal{W}_γ$ be the Wulff shape associated with $γ$. In this paper, we show that if the boundary of $\mathcal{W}_γ$ is a $C^1$ submanifold, then $γ$ must be the convex integrand of $\mathcal{W}_γ$. △ Less

Submitted 5 February, 2017; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 2 pages. This paper has been withdrawn by the author due to important improvements to be done

MSC Class: 52A20; 52A55; 82D25

Strictly convex Wulff shapes and $C^1$ convex integrands

Authors: Huhe Han, Takashi Nishimura

Abstract: In this paper, it is shown that a Wulff shape is strictly convex if and only if its convex integrand is of class $C^1$. Moreover, applications of this result are given. In this paper, it is shown that a Wulff shape is strictly convex if and only if its convex integrand is of class $C^1$. Moreover, applications of this result are given. △ Less

Submitted 24 January, 2016; v1 submitted 18 July, 2015; originally announced July 2015.

Comments: 11 pages, 6 figures

MSC Class: 52A20; 52A55; 82D25

Journal ref: Proceedings of the American Mathematical Society, 145 (2017), 3997-4008

The spherical dual transform is an isometry for spherical Wulff shapes

Authors: Huhe Han, Takashi Nishimura

Abstract: A spherical Wulff shape is the spherical counterpart of a Wulff shape which is the well-known geometric model of a crystal at equilibrium introduced by G. Wulff in 1901. As same as a Wulff shape, each spherical Wulff shape has its unique dual. The spherical dual transform for spherical Wulff shapes is the mapping which maps a spherical Wulff shape to its spherical dual Wulff shape. In this paper,… ▽ More A spherical Wulff shape is the spherical counterpart of a Wulff shape which is the well-known geometric model of a crystal at equilibrium introduced by G. Wulff in 1901. As same as a Wulff shape, each spherical Wulff shape has its unique dual. The spherical dual transform for spherical Wulff shapes is the mapping which maps a spherical Wulff shape to its spherical dual Wulff shape. In this paper, it is shown that the spherical dual transform for spherical Wulff shapes is an isometry with respect to the Pompeiu-Hausdorff metric. △ Less

Submitted 1 May, 2016; v1 submitted 11 April, 2015; originally announced April 2015.

Comments: 12 pages, 2 figures

MSC Class: 47N10; 52A30; 82D25

Around distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: This is a survey article on distance-squared mappings and related topics. This is a survey article on distance-squared mappings and related topics. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 10 pages

Generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$

Authors: S. Ichiki, T. Nishimura

Abstract: We classify generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$ ($n\ge 1$) having generic central points. Moreover, we show that there does not exist a universal bad set $Σ\subset (\mathbb{R}^{n+1})^{2n+1}$ in the case of this dimension-pair. We classify generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$ ($n\ge 1$) having generic central points. Moreover, we show that there does not exist a universal bad set $Σ\subset (\mathbb{R}^{n+1})^{2n+1}$ in the case of this dimension-pair. △ Less

Submitted 8 March, 2015; originally announced March 2015.

Comments: 10 pages

MSC Class: 57R45; 58C25; 58K50

Liftable vector fields over corank one multigerms

Authors: T. Nishimura, R. Oset Sinha, M. A. S. Ruas, R. Wik Atique

Abstract: In this paper, a systematic method is given to construct all liftable vector fields over an analytic multigerm $f: (\mathbb{K}^n, S)\to (\mathbb{K}^p,0)$ of corank at most one admitting a one-parameter stable unfolding. In this paper, a systematic method is given to construct all liftable vector fields over an analytic multigerm $f: (\mathbb{K}^n, S)\to (\mathbb{K}^p,0)$ of corank at most one admitting a one-parameter stable unfolding. △ Less

Submitted 26 November, 2014; v1 submitted 17 August, 2014; originally announced August 2014.

Comments: 34 pages. In ver. 2, several careless mistakes for calculations in Section 6 were corrected

MSC Class: 58K40 (primary); 57R45; 58K20 (secondary)

Journal ref: Mathematische Annalen, 366 (2016), 573-611

Aperture of plane curves

Authors: Daisuke Kagatsume, Takashi Nishimura

Abstract: For any given $C^\infty$ immersion ${\bf r}: S^1\to \mathbb{R}^2$ such that the set $\mathcal{NS}_{\bf r}=\mathbb{R}^2-\cup_{s\in S^1}\left({\bf r}(s)+d{\bf r}_{s}(T_s(S^1))\right)$ is not empty, a simple geometric model of crystal growth is constructed. It is shown that our geometric model of crystal growth never formulates a polygon while it is growing. Moreover, it is shown also that our model… ▽ More For any given $C^\infty$ immersion ${\bf r}: S^1\to \mathbb{R}^2$ such that the set $\mathcal{NS}_{\bf r}=\mathbb{R}^2-\cup_{s\in S^1}\left({\bf r}(s)+d{\bf r}_{s}(T_s(S^1))\right)$ is not empty, a simple geometric model of crystal growth is constructed. It is shown that our geometric model of crystal growth never formulates a polygon while it is growing. Moreover, it is shown also that our model always dissolves to a point. △ Less

Submitted 24 August, 2014; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: 11 pages

MSC Class: 58K30; 68T45; 82D25

Generalized distance-squared mappings of the plane into the plane

Authors: S. Ichiki, T. Nishimura, R. Oset Sinha, M. A. S. Ruas

Abstract: We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 13 pages, 1 figure

MSC Class: 57R45; 58C25; 58K50

Lowerable vector fields for a finitely L-determined multigerm

Authors: Yusuke Mizota, Takashi Nishimura

Abstract: We show that the module of lowerable vector fields for a finitely L-determined multigerm is finitely generated in a constructive way. We show that the module of lowerable vector fields for a finitely L-determined multigerm is finitely generated in a constructive way. △ Less

Submitted 14 September, 2014; v1 submitted 25 December, 2013; originally announced December 2013.

Comments: 5 pages. v2 has improved exposition by removing the assumption of corank

MSC Class: Primary; 58K40 Secondary; 57R45; 58K20

Recognizable classification of Lorentzian distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: The Lorentzian length, which is one of the most significant functions in Lorentzian geometry, is a complex-valued function. Its square gives a real-valued non-degenerate quadratic function. In this paper, we define naturally extended mappings of Lorentzian distance-squared functions, wherein each component is a Lorentzian distance-squared function; and classify these mappings completely by the lik… ▽ More The Lorentzian length, which is one of the most significant functions in Lorentzian geometry, is a complex-valued function. Its square gives a real-valued non-degenerate quadratic function. In this paper, we define naturally extended mappings of Lorentzian distance-squared functions, wherein each component is a Lorentzian distance-squared function; and classify these mappings completely by the likeness of recognition subspaces. △ Less

Submitted 18 August, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

MSC Class: 57R45; 58C25; 58K50

Bi-Lipschitz A-equivalence of K-equivalent map germs

Authors: Joao Carlos Ferreira Costa, Takashi Nishimura, Maria Aparecida Soares Ruas

Abstract: In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of the well-known Fukuda-Fukuda theorem is provided. In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of the well-known Fukuda-Fukuda theorem is provided. △ Less

Submitted 19 February, 2013; originally announced February 2013.

Comments: Published online in Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 2012

MSC Class: 58K15; 58K25; 58K60

Distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. In this paper, we define naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. We investigate the properties of these mappings from the viewpoint of differential topology. A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. In this paper, we define naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. We investigate the properties of these mappings from the viewpoint of differential topology. △ Less

Submitted 29 March, 2013; v1 submitted 21 November, 2012; originally announced November 2012.

Comments: to appear in Topology and its Applications

MSC Class: 57R40; 57R42; 57R45

Wave front evolution and pedal evolution

Authors: Takashi Nishimura

Abstract: The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the possibility of generalization of the calculus correspondence to degenerate pedal ev… ▽ More The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the possibility of generalization of the calculus correspondence to degenerate pedal evolutions and degenerate wave front evolutions. △ Less

Submitted 11 July, 2012; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: Minor corrections

MSC Class: 57R45; 58K25; 53A05

Whitney umbrellas and swallowtails

Authors: Takashi Nishimura

Abstract: In this paper, we introduce the notions of map-germs of pedal unfolding type and normalized Legendrian map-germs; and then we show that the fundamental theorem of calculus provides a natural one to one correspondence between Whitney umbrellas of pedal unfolding type and normalized swallowtails. In this paper, we introduce the notions of map-germs of pedal unfolding type and normalized Legendrian map-germs; and then we show that the fundamental theorem of calculus provides a natural one to one correspondence between Whitney umbrellas of pedal unfolding type and normalized swallowtails. △ Less

Submitted 21 December, 2011; originally announced December 2011.

MSC Class: 57R45; 58K25; 53A05

Journal ref: Pacific J. Math. (2)252 (2011) 459-471

Multicusps

Authors: Yusuke Mizota, Takashi Nishimura

Abstract: For a given multicusp $f=c_{(θ_0,..., θ_i)}$ $(1\le i)$, we present a direct sum decomposition theorem of the source space of ${}_i\barωf$, where ${}_i\barωf$ is a higher version of the reduced Kodaira-Spencer-Mather map $\barωf$. As a corollary of our direct sum decomposition theorem, we show that for any $i\in \mathbb{N}$ and any $f=c_{(θ_0,..., θ_i)}$, ${}_i\barωf$ is bijective. The corollary i… ▽ More For a given multicusp $f=c_{(θ_0,..., θ_i)}$ $(1\le i)$, we present a direct sum decomposition theorem of the source space of ${}_i\barωf$, where ${}_i\barωf$ is a higher version of the reduced Kodaira-Spencer-Mather map $\barωf$. As a corollary of our direct sum decomposition theorem, we show that for any $i\in \mathbb{N}$ and any $f=c_{(θ_0,..., θ_i)}$, ${}_i\barωf$ is bijective. The corollary is an affirmative answer to the question raised by M. A. S. Ruas during the 11th International Workshop on Real and Complex Singularities at the University of S${\tilde {\rm a}}$o Paulo in S${\tilde {\rm a}}$o Carlos (2010). △ Less

Submitted 9 December, 2011; originally announced December 2011.

Comments: 7 pages. To appear in "Proceedings of the 11th international workshop on Real and Complex Singularities", Edited by V. Goryunov, K. Houston and R. Wik-Atique, Contemporary Mathematics, AMS

MSC Class: Primary 57R45; Secondary 58K20; 58K45

Vector fields liftable over finitely determined multigerms of corank at most one

Authors: Takashi Nishimura

Abstract: In this paper, we propose one index $i_1(f)-i_2(f)$ which measures how well-behaved a given finitely determined multigerm $f: (\mathbb{K}^n,S)\to (\mathbb{K}^p,0)$ $(n\le p)$ of corank at most one is from the viewpoint of liftable vector fields; and we answer the following problems when the index indicates that the given multigerm $f$ is best-behaved. 1) When is the module of vector fields liftabl… ▽ More In this paper, we propose one index $i_1(f)-i_2(f)$ which measures how well-behaved a given finitely determined multigerm $f: (\mathbb{K}^n,S)\to (\mathbb{K}^p,0)$ $(n\le p)$ of corank at most one is from the viewpoint of liftable vector fields; and we answer the following problems when the index indicates that the given multigerm $f$ is best-behaved. 1) When is the module of vector fields liftable over $f$ finitely generated? 2) How can we characterize the minimal number of generators when the module of vector fields liftable over $f$ is finitely generated? 3) How can we calculate the minimal number of generators when the module of vector fields liftable over $f$ is finitely generated? 4) How can we construct generators when the module of vector fields liftable over $f$ is finitely generated? △ Less

Submitted 10 August, 2014; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: This paper has been withdrawn by the author due to important improvements to be done

MSC Class: 58K40 (Primary) 57R45; 58K20 (Secondary)