-
Hyper-power series and generalized real analytic functions
Authors:
Diksha Tiwari,
Akbarali Mukhammadiev,
Paolo Giordano
Abstract:
This article is a natural continuation of the paper Tiwari, D., Giordano, P., Hyperseries in the non-Archimedean ring of Colombeau generalized numbers in this journal. We study one variable hyper-power series by analyzing the notion of radius of convergence and proving classical results such as algebraic operations, composition and reciprocal of hyper-power series. We then define and study one var…
▽ More
This article is a natural continuation of the paper Tiwari, D., Giordano, P., Hyperseries in the non-Archimedean ring of Colombeau generalized numbers in this journal. We study one variable hyper-power series by analyzing the notion of radius of convergence and proving classical results such as algebraic operations, composition and reciprocal of hyper-power series. We then define and study one variable generalized real analytic functions, considering their derivation, integration, a suitable formulation of the identity theorem and the characterization by uniform upper bounds of derivatives on functionally compact sets. On the contrary with respect to the classical use of series in the theory of Colombeau real analytic functions, we can recover several classical examples in a non-infinitesimal set of convergence. The notion of generalized real analytic function reveals to be less rigid both with respect to the classical one and to Colombeau theory, e.g. including classical non-analytic smooth functions with flat points and several distributions, such as the Dirac delta. On the other hand, each Colombeau real analytic function is also a generalized real analytic function.
△ Less
Submitted 15 December, 2022; v1 submitted 9 December, 2022;
originally announced December 2022.
-
Hecke triangle Groups and Dessin d'enfant
Authors:
Devendra Tiwari
Abstract:
In this work we will construct bipartite graphs, famously known as Dessin d'enfant, corresponding to finite index subgroups of Hecke triangle groups $(2, q, \infty )$. Then using a results of \cite{ll} we shall show the correspondences among the special polygons, the bi-partite graph, and the tree diagram for a finite index subgroup of the Hecke triangle groups $(2, q, \infty )$.
In this work we will construct bipartite graphs, famously known as Dessin d'enfant, corresponding to finite index subgroups of Hecke triangle groups $(2, q, \infty )$. Then using a results of \cite{ll} we shall show the correspondences among the special polygons, the bi-partite graph, and the tree diagram for a finite index subgroup of the Hecke triangle groups $(2, q, \infty )$.
△ Less
Submitted 18 July, 2023; v1 submitted 13 December, 2021;
originally announced December 2021.
-
A Fourier transform for all generalized functions
Authors:
Akbarali Mukhammadiev,
Diksha Tiwari,
Paolo Giordano
Abstract:
Using the existence of infinite numbers $k$ in the non-Archimedean ring of Robinson-Colombeau, we define the hyperfinite Fourier transform (HFT) by considering integration extended to $[-k,k]^{n}$ instead of $(-\infty,\infty)^{n}$. In order to realize this idea, the space of generalized functions we consider is that of generalized smooth functions (GSF), an extension of classical distribution theo…
▽ More
Using the existence of infinite numbers $k$ in the non-Archimedean ring of Robinson-Colombeau, we define the hyperfinite Fourier transform (HFT) by considering integration extended to $[-k,k]^{n}$ instead of $(-\infty,\infty)^{n}$. In order to realize this idea, the space of generalized functions we consider is that of generalized smooth functions (GSF), an extension of classical distribution theory sharing many nonlinear properties with ordinary smooth functions, like the closure with respect to composition, a good integration theory, and several classical theorems of calculus. Even if the final transform depends on $k$, we obtain a new notion that applies to all GSF, in particular to all Schwartz's distributions and to all Colombeau generalized functions, without growth restrictions. We prove that this FT generalizes several classical properties of the ordinary FT, and in this way we also overcome the difficulties of FT in Colombeau's settings. Differences in some formulas, such as in the transform of derivatives, reveal to be meaningful since allow to obtain also non-tempered global unique solutions of differential equations.
△ Less
Submitted 29 September, 2022; v1 submitted 30 November, 2021;
originally announced November 2021.
-
On Free Group Generated by Two Heisenberg Translations
Authors:
Sagar B. Kalane,
Devendra Tiwari
Abstract:
In this paper, we will discuss the groups generated by two Heisenberg translations of ${\rm PSp}(2,1)$ and determine when they are free. We improve a result given in \cite{xwy} by Xie, Wang, Jiang in Canad. Math. Bull. $56(2013), 881-889.$ and from that derive result for the ${\rm PSp}(2,1)$ case.
In this paper, we will discuss the groups generated by two Heisenberg translations of ${\rm PSp}(2,1)$ and determine when they are free. We improve a result given in \cite{xwy} by Xie, Wang, Jiang in Canad. Math. Bull. $56(2013), 881-889.$ and from that derive result for the ${\rm PSp}(2,1)$ case.
△ Less
Submitted 11 December, 2021; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Supremum, infimum and hyperlimits in the non-Archimedean ring of Colombeau generalized numbers
Authors:
A. Mukhammadiev,
D. Tiwari,
G. Apaaboah,
P. Giordano
Abstract:
It is well-known that the notion of limit in the sharp topology of sequences of Colombeau generalized numbers $\widetilde{\mathbb{R}}$ does not generalize classical results. E.g.~the sequence $\frac{1}{n}\not\to0$ and a sequence $(x_{n})_{n\in\mathbb{N}}$ converges \emph{if} and only if $x_{n+1}-x_{n}\to0$. This has several deep consequences, e.g.~in the study of series, analytic generalized funct…
▽ More
It is well-known that the notion of limit in the sharp topology of sequences of Colombeau generalized numbers $\widetilde{\mathbb{R}}$ does not generalize classical results. E.g.~the sequence $\frac{1}{n}\not\to0$ and a sequence $(x_{n})_{n\in\mathbb{N}}$ converges \emph{if} and only if $x_{n+1}-x_{n}\to0$. This has several deep consequences, e.g.~in the study of series, analytic generalized functions, or sigma-additivity and classical limit theorems in integration of generalized functions. The lacking of these results is also connected to the fact that $\widetilde{\mathbb{R}}$ is necessarily not a complete ordered set, e.g.~the set of all the infinitesimals does not have neither supremum nor infimum. We present a solution of these problems with the introduction of the notions of hypernatural number, hypersequence, close supremum and infimum. In this way, we can generalize all the classical theorems for the hyperlimit of a hypersequence. The paper explores ideas that can be applied to other non-Archimedean settings.
△ Less
Submitted 8 June, 2021; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Hyperseries in the non-Archimedean ring of Colombeau generalized numbers
Authors:
Diksha Tiwari,
Paolo Giordano
Abstract:
This article is the natural continuation of the paper: Mukhammadiev A.~et al Supremum, infimum and hyperlimits of Colombeau generalized numbers in this journal. Since the ring $\tilde{R}$ of Robinson-Colombeau is non-Archimedean, a classical series $\sum_{n=0}^{+\infty}a_{n}$ of generalized numbers $a_{n}\in\tilde{R}$ is convergent if and only if $a_{n}\to0$ in the sharp topology. Therefore, this…
▽ More
This article is the natural continuation of the paper: Mukhammadiev A.~et al Supremum, infimum and hyperlimits of Colombeau generalized numbers in this journal. Since the ring $\tilde{R}$ of Robinson-Colombeau is non-Archimedean, a classical series $\sum_{n=0}^{+\infty}a_{n}$ of generalized numbers $a_{n}\in\tilde{R}$ is convergent if and only if $a_{n}\to0$ in the sharp topology. Therefore, this property does not permit us to generalize several classical results, mainly in the study of analytic generalized functions (as well as, e.g., in the study of sigma-additivity in integration of generalized functions). Introducing the notion of hyperseries, we solve this problem recovering classical examples of analytic functions as well as several classical results.
△ Less
Submitted 14 January, 2022; v1 submitted 29 June, 2020;
originally announced June 2020.
-
System of Lane-Emden equations as IVPs BVPs and Four Point BVPs & Computation with Haar Wavelets
Authors:
Amit K. Verma,
Narendra Kumar,
Diksha Tiwari
Abstract:
In this work we present Haar wavelet collocation method and solve the following class of system of Lane-Emden equation defined as \begin{eqnarray*} -(t^{k_1} y'(t))'=t^{-ω_1} f_1(t,y(t),z(t)),\\ -(t^{k_2} z'(t))'=t^{-ω_2} f_2(t,y(t),z(t)), \end{eqnarray*} where $t>0$, subject to initial values, boundary values and four point boundary values: \begin{eqnarray*} \mbox{Initial Condition:}&&y(0)=γ_1,~y…
▽ More
In this work we present Haar wavelet collocation method and solve the following class of system of Lane-Emden equation defined as \begin{eqnarray*} -(t^{k_1} y'(t))'=t^{-ω_1} f_1(t,y(t),z(t)),\\ -(t^{k_2} z'(t))'=t^{-ω_2} f_2(t,y(t),z(t)), \end{eqnarray*} where $t>0$, subject to initial values, boundary values and four point boundary values: \begin{eqnarray*} \mbox{Initial Condition:}&&y(0)=γ_1,~y'(0)=0,~z(0)=γ_2,~z'(0)=0,\\ \mbox{Boundary Condition:}&&y'(0)=0,~y(1)=δ_1,~z'(0)=0,~z(1)=δ_2,\\ \mbox{Four~point~Boundary~Condition:}&&y(0)=0,~y(1)=n_1z(v_1),~z(0)=0,~z(1)=n_2y(v_2), \end{eqnarray*} where $n_1$, $n_2$, $v_1$, $v_2$ $\in (0,1)$ and $k_1\geq 0$, $k_2\geq0$, $ω_1<1$, $ω_2<1$ are real constants. Results are compared with exact solutions in the case of IVP and BVP. In case of four point BVP we compare the result with other methods. Convergence of these methods is also established and found to be of second order. We observe that as resolution is increased to $J=4$ we get the exact values for IVPs and BVPs. For four point BVPs also at $J=4$, we get highly accurate solutions, e.g., the $L^\infty$ error is of order $10^{-16}$ or $10^{-17}$.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
A generalized novel approach based on orthonormal polynomial wavelets with an application to Lane-Emden equation
Authors:
Amit K. Verma,
Diksha Tiwari,
Carlo Cattani
Abstract:
Capturing solution near the singular point of any nonlinear SBVPs is challenging because coefficients involved in the differential equation blow up near singularities. In this article, we aim to construct a general method based on orthogonal polynomials as wavelets. We discuss multiresolution analysis for wavelets generated by orthogonal polynomials, e.g., Hermite, Legendre, Chebyshev, Laguerre, a…
▽ More
Capturing solution near the singular point of any nonlinear SBVPs is challenging because coefficients involved in the differential equation blow up near singularities. In this article, we aim to construct a general method based on orthogonal polynomials as wavelets. We discuss multiresolution analysis for wavelets generated by orthogonal polynomials, e.g., Hermite, Legendre, Chebyshev, Laguerre, and Gegenbauer. Then we use these wavelets for solving nonlinear SBVPs. These wavelets can deal with singularities easily and efficiently. To deal with the nonlinearity, we use both Newton's quasilinearization and the Newton-Raphson method. To show the importance and accuracy of the proposed methods, we solve the Lane-Emden type of problems and compare the computed solutions with the known solutions. As the resolution is increased the computed solutions converge to exact solutions or known solutions. We observe that the proposed technique performs well on a class of Lane-Emden type BVPs. As the paper deals with singularity, non-linearity significantly and different wavelets are used to compare the results.
△ Less
Submitted 18 September, 2021; v1 submitted 3 November, 2019;
originally announced November 2019.
-
On some computational aspects of Hermite wavelets on a class of SBVPs arising in exothermic reactions
Authors:
Amit K. Verma,
Diksha Tiwari
Abstract:
We propose a new class of SBVPs which deals with exothermic reactions. We also propose four computationally stable methods to solve singular nonlinear BVPs by using Hermite wavelet collocation which are coupled with Newton's quasilinearization and Newton-Raphson method. We compare the results obtained with Hermite Wavelets with Haar wavelet collocation. The efficiency of these methods are verified…
▽ More
We propose a new class of SBVPs which deals with exothermic reactions. We also propose four computationally stable methods to solve singular nonlinear BVPs by using Hermite wavelet collocation which are coupled with Newton's quasilinearization and Newton-Raphson method. We compare the results obtained with Hermite Wavelets with Haar wavelet collocation. The efficiency of these methods are verified by applying these four methods on Lane-Emden equations. Convergence analysis is also presented.
△ Less
Submitted 5 November, 2019; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Discreteness Of Hyperbolic Isometries by Test Maps
Authors:
Krishnendu Gongopadhyay,
Abhishek Mukherjee,
Devendra Tiwari
Abstract:
Let $\mathbb F=\mathbb R$, $\mathbb C$ or $\mathbb H$. Let ${\bf H}_{\mathbb F}^n$ denote the $n$-dimensional $\mathbb F$-hyperbolic space. Let ${\rm U}(n,1; \mathbb F)$ be the linear group that acts by the isometries. A subgroup $G$ of ${\rm U}(n,1; \mathbb F)$ is called \emph{Zariski dense} if it does not fix a point on the closure of the $\mathbb F$-hyperbolic space, and neither it preserves a…
▽ More
Let $\mathbb F=\mathbb R$, $\mathbb C$ or $\mathbb H$. Let ${\bf H}_{\mathbb F}^n$ denote the $n$-dimensional $\mathbb F$-hyperbolic space. Let ${\rm U}(n,1; \mathbb F)$ be the linear group that acts by the isometries. A subgroup $G$ of ${\rm U}(n,1; \mathbb F)$ is called \emph{Zariski dense} if it does not fix a point on the closure of the $\mathbb F$-hyperbolic space, and neither it preserves a totally geodesic subspace of it. We prove that a Zariski dense subgroup $G$ of ${\rm U}(n,1; \mathbb F)$ is discrete if for every loxodromic element $g \in G$, the two generator subgroup $\langle f, g \rangle$ is discrete, where $f \in {\rm U}(n,1; \mathbb F)$ is a test map not necessarily from $G$.
△ Less
Submitted 16 September, 2021; v1 submitted 18 December, 2018;
originally announced December 2018.
-
On discreteness of subgroups of quaternionic hyperbolic isometries
Authors:
Krishnendu Gongopadhyay,
Mukund Madhav Mishra,
Devendra Tiwari
Abstract:
Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski dense} if it does not fix a point on ${{\bf H}_{\mathbb H}}^n \cup \partial {{\bf H}_{\mathbb H}}^n$ and neither it preserves a totally geodesic subspace of…
▽ More
Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski dense} if it does not fix a point on ${{\bf H}_{\mathbb H}}^n \cup \partial {{\bf H}_{\mathbb H}}^n$ and neither it preserves a totally geodesic subspace of ${{\bf H}_{\mathbb H}}^n$. We prove that a Zariski dense subgroup $G$ of ${\rm{ Sp}}(n,1)$ is discrete if for every loxodromic element $g \in G$ the two generator subgroup $\langle f, g f g^{-1} \rangle$ is discrete, where the generator $f \in {\rm{Sp}}(n,1)$ is certain fixed element not necessarily from $G$.
△ Less
Submitted 21 June, 2019; v1 submitted 1 October, 2018;
originally announced October 2018.
-
On generalized Jørgensen inequality in ${\rm SL}(2, \mathbb C)$
Authors:
Krishnendu Gongopadhyay,
Mukund Madhav Mishra,
Devendra Tiwari
Abstract:
Wang, Jiang and Cao have obtained a generalized version of the Jørgensen inequality in Proc. Indian Acad. Sci. Math. Sci., 123(2):245--251, 2013, for two generator subgroups of ${\rm SL}(2, \mathbb C)$ where one of the generators is loxodromic. We prove that their inequality is strict.
Wang, Jiang and Cao have obtained a generalized version of the Jørgensen inequality in Proc. Indian Acad. Sci. Math. Sci., 123(2):245--251, 2013, for two generator subgroups of ${\rm SL}(2, \mathbb C)$ where one of the generators is loxodromic. We prove that their inequality is strict.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.