Online ISSN : 2249-4626 Print ISSN : 0975-5896 DOI : 10.17406/GJSFR
HornHypergeometricFunctions QuadraticB-splineInterpolation
DirichletDistributionParameters ArithmeticSubgroupsandApplications
VOLUME20ISSUE6VERSION1.0
Global Journal of Science Frontier Research : F Mathematics & Decision Sciences
Global Journal of Science Frontier Research : F
Mathematics & Decision Sciences
Volume 20 Issue (Ver. 1.0)
Open Association of Research Society
Global Journals Inc. © Global Journal of Science (A Delaware USA Incorporation with “Good Standing”; Reg. Number: 0423089) Frontier Research. 2020 . Sponsors:Open Association of Research Society Open Scientific Standards All rights reserved.
This is a special issue published in version 1.0 Publisher’s Headquarters office of “Global Journal of Science Frontier Research.” By Global Journals Inc. Global Journals ® Headquarters All articles are open access articles distributed 945th Concord Streets, under “Global Journal of Science Frontier Research” Framingham Massachusetts Pin: 01701,
Reading License, which permits restricted use. United States of America Entire contents are copyright by of “Global USA Toll Free: +001-888-839-7392 Journal of Science Frontier Research” unless USA Toll Free Fax: +001-888-839-7392 otherwise noted on specific articles.
No part of this publication may be reproduced Offset Typesetting or transmitted in any form or by any means, electronic or mechanical, including Globa l Journals Incorporated photocopy, recording, or any information storage and retrieval system, without written 2nd, Lansdowne, Lansdowne Rd., Croydon-Surrey, permission. Pin: CR9 2ER, United Kingdom The opinions and statements made in this book are those of the authors concerned. Packaging & Continental Dispatching Ultraculture has not verified and neither confirms nor denies any of the foregoing and no warranty or fitness is implied. Global Journals Pvt Ltd E-3130 Sudama Nagar, Near Gopur Square, Engage with the contents herein at your own risk. Indore, M.P., Pin:452009, India
The use of this journal, and the terms and conditions for our providing information, is Find a correspondence nodal officer near you governed by our Disclaimer, Terms and Conditions and Privacy Policy given on our website http://globaljournals.us/terms-and-condition/ To find nodal officer of your country, please menu-id-1463/ email us at [email protected]
By referring / using / reading / any type of eContacts association / referencing this journal, this signifies and you acknowledge that you have read them and that you accept and will be bound by the terms thereof. Press Inquiries: [email protected] Investor Inquiries: [email protected] All information, journals, this journal, activities undertaken, materials, services and Technical Support: [email protected] our website, terms and conditions, privacy Media & Releases: [email protected] policy, and this journal is subject to change anytime without any prior notice.
Incorporation No.: 0423089 Pricing (E xcluding Air Parcel Charges): License No.: 42125/022010/1186 Registration No.: 430374 Import-Export Code: 1109007027 Employer Identification Number (EIN): Yearly Subscription (Personal & Institutional) USA Tax ID: 98-0673427 250 USD (B/W) & 350 USD (Color)
Editorial Board
Global Journal of Science Frontier Research
Dr. John Korstad Dr. Alicia Esther Ares
Ph.D., M.S. at Michigan University, Professor of Biology, Ph.D. in Science and Technology, University of General Department of Biology Oral Roberts University, San Martin, Argentina State University of Misiones, United States United States
Dr. Sahraoui Chaieb Tuncel M. Yegulalp
Ph.D. Physics and Chemical Physics, M.S. Theoretical Professor of Mining, Emeritus, Earth & Environmental Physics, B.S. Physics, cole Normale Suprieure, Paris, Engineering, Henry Krumb School of Mines, Columbia Associate Professor, Bioscience, King Abdullah University Director, New York Mining and Mineral, University of Science and Technology United States Resources Research Institute, United States
Andreas Maletzky Dr. Gerard G. Dumancas
Zoologist University of Salzburg, Department of Ecology Postdoctoral Research Fellow, Arthritis and Clinical and Evolution Hellbrunnerstraße Salzburg Austria, Immunology Research Program, Oklahoma Medical Universitat Salzburg, Austria Research Foundation Oklahoma City, OK United States
Dr. Mazeyar Parvinzadeh Gashti Dr. Indranil Sen Gupta
Ph.D., M.Sc., B.Sc. Science and Research Branch of Ph.D., Mathematics, Texas A & M University, Department Islamic Azad University, Tehran, Iran Department of of Mathematics, North Dakota State University, North Chemistry & Biochemistry, University of Bern, Bern, Dakota, United States Switzerland
Dr. Richard B Coffin Dr. A. Heidari
Ph.D., in Chemical Oceanography, Department of Ph.D., D.Sc, Faculty of Chemistry, California South Physical and Environmental, Texas A&M University University (CSU), United States United States
Dr. Xianghong Qi Dr. Vladimir Burtman
University of Tennessee, Oak Ridge National Laboratory, Research Scientist, The University of Utah, Geophysics Center for Molecular Biophysics, Oak Ridge National Frederick Albert Sutton Building 115 S 1460 E Room 383, Laboratory, Knoxville, TN 37922, United States Salt Lake City, UT 84112, United States
Dr. Shyny Koshy Dr. Gayle Calverley
Ph.D. in Cell and Molecular Biology, Kent State Ph.D. in Applied Physics, University of Loughborough, University, United States United Kingdom
Dr. Bingyun Li Dr. Baziotis Ioannis
Ph.D. Fellow, IAES, Guest Researcher, NIOSH, CDC, Ph.D. in Petrology-Geochemistry-Mineralogy Lipson, Morgantown, WV Institute of Nano and Biotechnologies Athens, Greece West Virginia University, United States
Dr. Matheos Santamouris Dr. Vyacheslav Abramov
Prof. Department of Physics, Ph.D., on Energy Physics, Ph.D in Mathematics, BA, M.Sc, Monash University, Physics Department, University of Patras, Greece Australia
Dr. Fedor F. Mende Dr. Moustafa Mohamed Saleh Abbassy
Ph.D. in Applied Physics, B. Verkin Institute for Low Ph.D., B.Sc, M.Sc in Pesticides Chemistry, Department of Temperature Physics and Engineering of the National Environmental Studies, Institute of Graduate Studies & Academy of Sciences of Ukraine Research (IGSR), Alexandria University, Egypt
Dr. Yaping Ren Dr. Yilun Shang
School of Statistics and Mathematics, Yunnan University Ph.d in Applied Mathematics, Shanghai Jiao Tong of Finance and Economics, Kunming 650221, China University, China
Dr. T. David A. Forbes Dr. Bing-Fang Hwang
Associate Professor and Range Nutritionist Ph.D. Department of Occupational, Safety and Health, College of Edinburgh University - Animal Nutrition, M.S. Aberdeen Public Health, China Medical University, Taiwan Ph.D., in University - Animal Nutrition B.A. University of Dublin- Environmental and Occupational Epidemiology, Zoology Department of Epidemiology, Johns Hopkins University, USA Taiwan
Dr. Moaed Almeselmani Dr. Giuseppe A Provenzano
Ph.D in Plant Physiology, Molecular Biology, Irrigation and Water Management, Soil Science, Water Biotechnology and Biochemistry, M. Sc. in Plant Science Hydraulic Engineering , Dept. of Agricultural and Physiology, Damascus University, Syria Forest Sciences Universita di Palermo, Italy
Dr. Eman M. Gouda Dr. Claudio Cuevas
Biochemistry Department, Faculty of Veterinary Department of Mathematics, Universidade Federal de Medicine, Cairo University, Giza, Egypt Pernambuco, Recife PE, Brazil
Dr. Arshak Poghossian Dr. Qiang Wu
Ph.D. Solid-State Physics, Leningrad Electrotechnical Ph.D. University of Technology, Sydney, Department of Institute, Russia Institute of Nano and Biotechnologies Mathematics, Physics and Electrical Engineering, Aachen University of Applied Sciences, Germany Northumbria University
Dr. Lev V. Eppelbaum Dr. Linda Gao
Ph.D. Institute of Geophysics, Georgian Academy of Ph.D. in Analytical Chemistry, Texas Tech University, Sciences, Tbilisi Assistant Professor Dept Geophys & Lubbock, Associate Professor of Chemistry, University of Planetary Science, Tel Aviv University Israel Mary Hardin-Baylor, United States
Prof. Jordi Sort Angelo Basile
ICREA Researcher Professor, Faculty, School or Professor, Institute of Membrane Technology (ITM) Italian Institute of Sciences, Ph.D., in Materials Science National Research Council (CNR) Italy Autonomous, University of Barcelona Spain
Dr. Eugene A. Permyakov Dr. Bingsuo Zou
Institute for Biological Instrumentation Russian Academy Ph.D. in Photochemistry and Photophysics of Condensed of Sciences, Director Pushchino State Institute of Natural Matter, Department of Chemistry, Jilin University, Director Science, Department of Biomedical Engineering, Ph.D., of Micro- and Nano- technology Center, China in Biophysics Moscow Institute of Physics and Technology, Russia
Prof. Dr. Zhang Lifei Dr. Bondage Devanand Dhondiram
Dean, School of Earth and Space Sciences, Ph.D., Peking Ph.D. No. 8, Alley 2, Lane 9, Hongdao station, Xizhi University, Beijing, China district, New Taipei city 221, Taiwan (ROC)
Dr. Hai-Linh Tran Dr. Latifa Oubedda
Ph.D. in Biological Engineering, Department of National School of Applied Sciences, University Ibn Zohr, Biological Engineering, College of Engineering, Inha Agadir, Morocco, Lotissement Elkhier N66, Bettana Sal University, Incheon, Korea Marocco
Dr. Yap Yee Jiun Dr. Lucian Baia
B.Sc.(Manchester), Ph.D.(Brunel), M.Inst.P.(UK) Ph.D. Julius-Maximilians, Associate professor, Department Institute of Mathematical Sciences, University of Malaya, of Condensed Matter Physics and Advanced Technologies, Kuala Lumpur, Malaysia Department of Condensed Matter Physics and Advanced Technologies, University Wrzburg, Germany
Dr. Shengbing Deng Dr. Maria Gullo
Departamento de Ingeniera Matemtica, Universidad de Ph.D., Food Science and Technology Department of Chile. Facultad de Ciencias Fsicas y Matemticas. Blanco Agricultural and Food Sciences, University of Modena and Encalada 2120, Piso 4., Chile Reggio Emilia, Italy
Dr. Fabiana Barbi Prof. Ulrich A. Glasmacher
B.Sc., M.Sc., Ph.D., Environment, and Society, State Institute of Earth Sciences, Director of the Steinbeis University of Campinas, Brazil Center for Environmental Transfer Center, TERRA-Explore, University Heidelberg, Studies and Research, State University of Campinas, Germany Brazil
Dr. Yiping Li Prof. Philippe Dubois
Ph.D. in Molecular Genetics, Shanghai Institute of Ph.D. in Sciences, Scientific director of NCC-L, Biochemistry, The Academy of Sciences of China Senior Luxembourg, Full professor, University of Mons UMONS Vice Director, UAB Center for Metabolic Bone Disease Belgium
Nora Fung-yee TAM Dr. Rafael Gutirrez Aguilar
DPhil University of York, UK, Department of Biology Ph.D., M.Sc., B.Sc., Psychology (Physiological), National and Chemistry, MPhil (Chinese University of Autonomous, University of Mexico Hong Kong)
Dr. Sarad Kumar Mishra Ashish Kumar Singh
Ph.D in Biotechnology, M.Sc in Biotechnology, B.Sc in Applied Science, Bharati Vidyapeeth's College of Botany, Zoology and Chemistry, Gorakhpur University, Engineering, New Delhi, India India
Dr. Ferit Gurbuz Dr. Maria Kuman
Ph.D., M.SC, B.S. in Mathematics, Faculty of Education, Ph.D, Holistic Research Institute, Department of Physics Department of Mathematics Education, Hakkari 30000, and Space, United States Turkey
Contents of the Issue
i. Copyright Notice ii. Editorial Board Members iii. Chief Author and Dean iv. Contents of the Issue
1. Arithmetic Subgroups and Applications. 1-10 2. Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems. 11-21 3. New Integrals for Horn Hypergeometric Functions in Two Variables. 23-32 4. Extension of Comparative Analysis of Estimation Methods for Dirichlet Distribution Parameters. 33-47 5. Univariate and Vector Autocorrelation Time Series Models for Some Sectors in Nigeria. 4 -73
v. Fellows vi. Auxiliary Memberships vii. Preferred Author Guidelines viii. Index
Global Journal of Science Frontier Research: F Mathematics and Decision Sciences Volume 20 Issue 6 Version 1.0 Year 2020 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals Online ISSN: 2249-4626 & Print ISSN: 0975-5896
Arithmetic Subgroups and Applications By Mariam Almahdi Mohammed Mull'a, Amal Mohammed Ahmed Gaweash & Hayat Yousuf Ismail Bakur University of Kordofan Abstract- Arithmetic subgroups are an important source of discrete groups acting freely on manifolds. We need to know that there exist many torsion-free L( , ) is an “arithmetic” subgroup of L( , ). The other arithmetic subgroups are not as obvious, but they can be 𝑺𝑺 𝟐𝟐 ℝ constructed by using quaternion algebras. Replacing the quaternion algebras with larger division 𝑺𝑺 𝟐𝟐 ℝ algebras yields many arithmetic subgroups of L( , ), with >2. In fact, a calculation of group cohomology shows that the only other way to construct arithmetic subgroups of L( , ) is by 𝑺𝑺 𝒏𝒏 ℝ 𝒏𝒏 using arithmetic groups. In this paper justifies Commensurable groups, and some definitions and 𝑺𝑺 𝒏𝒏 ℝ examples, -forms of classical simple groups over , calculating the complexification of each classical group, Applications to manifolds. Let us start with ( , ). This is already a complex Lie ℝ ℂ group, but we can think of it as a real Lie group of twice the dimension. As such, it has a 𝑺𝑺𝑺𝑺 𝑛𝑛 ℂ complexification. Keywords: lie group, commensurable groups, orthogonal group, symplectic group, subgroups, congruence subgroup, arithmetic subgroups, cohomology, equivalence class, automorphism. GJSFR-F Classification: MSC 2010: 03C62
ArithmeticSubgroupsandApplications
Strictly as per the compliance and regulations of:
© 2020. Mariam Almahdi Mohammed Mull'a, Amal Mohammed Ahmed Gaweash & Hayat Yousuf Ismail Bakur. This is a research/review paper, distributed under the terms of the Creative Commons Attribution-Noncommercial 3.0 Unported License http://creativecommons.org/licenses/by-nc/3.0/), permitting all non commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
Ref Arithmetic Subgroups and Applications
2020 α σ Mariam Almahdi Mohammed Mull'a , Amal Mohammed Ahmed Gaweash r
ρ ea & Hayat Yousuf Ismail Bakur Y 11
Abstract - Arithmetic subgroups are an important source of discrete groups acting freely on manifolds. We need to know that there exist many torsion-free ( , ) is an “arithmetic” subgroup of ( , ). The other arithmetic subgroups are
not as obvious, but they can be constructed by using quaternion algebras. Replacing the quaternion algebras with 𝑺𝑺𝑺𝑺 𝟐𝟐 ℤ 𝑺𝑺𝑺𝑺 𝟐𝟐 ℝ larger division algebras yields many arithmetic subgroups of ( , ), with > 2. In fact, a calculation of group V cohomology shows that the only other way to construct arithmetic subgroups of ( , ) is by using arithmetic groups. VI In this paper justifies Commensurable groups, and some definitions𝑺𝑺𝑺𝑺 𝒏𝒏andℝ examples,𝒏𝒏 -forms of classical simple groups
𝑺𝑺𝑺𝑺 𝒏𝒏 ℝ ue ersion I s
over , calculating the complexification of each classical group, Applications to manifolds. Let us start with ( , ). s ℝ
This is already a complex Lie group, but we can think of it as a real Lie group of twice the dimension. As such, it has a I ℂ 𝑺𝑺𝑺𝑺 𝑛𝑛 ℂ
complexification. XX
Subject Areas: mathematical analysis, mathematical modern algebra and foundation of mathematics . 5, MR 0514561. 5, MR Keywords: lie group , commensurable groups, orthogonal group, symplectic group, subgroups, congruence subgroup, arithmetic subgroups, cohomology, equivalence class, automorphism.
) I. Introduction F (
-12-338460- In This paper we will give a quite explicit description of the arithmetic
subgroups of almost every classical Lie group . (Recall that a simple Lie group is
“classical” if it is eithera special linear group, an orthogonal group, a unitary group, or a Research Volume 𝐺𝐺 𝐺𝐺 symplectic group The key point is that all the -forms of arealso classical, not
exceptional, so they are fairly easy to understand. However, there is an exception to Frontier ℚ 𝐺𝐺 this rule, some 8-dimensional orthogonal groups have -forms of so-called triality type, that are not classical and will not bediscussed in any detail here given , which is a Lie ℚ Science group over , we would like to know all of its -forms (because, by definition, 𝐺𝐺 of arithmetic groups are made from -forms) [1,2,3]. However, we will start with the ℝ ℚ somewhat simpler problem that replaces the fields and with the fields and :
ℚ Journal finding the -forms of the classicalLie groups over .In this paper we construct methods ℚ ℝ ℝ ℂ by arithmetic groups. The associated symmetric space ( ) = is the hyperbolic lgason: Differential Geometry, Lie Groups, andSymmetric Spaces. Global e ℝ ℂ plane . There are uncountably many lattices in ( ) (with theassociated locally 𝑺𝑺𝑺𝑺𝟐𝟐 ℝ 𝑺𝑺𝑺𝑺𝟐𝟐 symmetric𝟐𝟐 spaces being nothing other than Riemann surfaces), but only countably 𝟐𝟐 S. H Academic Press, New York, 1978. ISBN 0 1978. New York, Academic Press, ℍ 𝑺𝑺𝑺𝑺 ℝ many of them are arithmetic. But in higher rank Lie groups, there is the following truly 2. Author α: Department of Mathematics, University of Hafr Al-Batin (UoHB), Hafr Albatin, KSA, University of Kordofan, El-Obeid, North Kordofan, Sudan. e-mail: [email protected] Author σ: Department of Mathematics, University of Taif , KSA, University of Aldalling, Sudan. e-mail: [email protected] Author ρ: Department of Mathematics, University of Jazan, KSA. University of Kordofan, El-Obeid, North Kordofan, Sudan. e-mail: [email protected]
©2020 Global Journals Arithmetic Subgroups and Applications
remarkable theorem known as Margulis arithmeticity. Let be a connected semi simple Lie group with trivial centre and no compact factors, and assume that the real rank of is at least two. Then every irreducible lattice is𝐺𝐺 arithmetic [4, 5, 6]. These groups play a fundamental role in number theory, and especially in the study of automorphic𝐺𝐺 forms, which can be viewed as complex𝛤𝛤 valued ⊂𝐺𝐺 functions on a symmetric domain which are invariant under the action ofan arithmetic group. Appeared that some arithmetic groups are the symmetry groups of several string theories. This is probably why this survey fits into these proceedings[7]. Ref II. Commen surable Grou ps 2020 r
Subgroups 1and 2 of a group are said to be commensurable if 1 2 is of 9. ea
Y finiteindex in both 1 and 2.The subgroups and of are commensurable if and HELGA 𝐻𝐻 𝐻𝐻 𝐻𝐻 ∩ 𝐻𝐻 80 volume 21 only if . For example, 6 and 4 are commensurable because they intersect in 12 , 𝐻𝐻 𝐻𝐻 𝑎𝑎ℤ 𝑏𝑏ℤ ℝ but 1 𝒂𝒂and 2 are not comm ensurable because they intersect in { }. More generally, 𝒃𝒃
∈ ℚ ℤ ℤ ℤ 1978. S. SON, Differential geometry, and Lie groups, symmetric spaces, lattices and in a realvector space are commensurable if and only if they generate
ℤ ℤ 𝟎𝟎 of V the same -√subspace of .Commensurability is an equivalence relation, it is reflexive Pure and Applied Mathematics
VI 𝐿𝐿 𝐿𝐿′ 𝑉𝑉 and symmetric, and if 1, 2 and 2, 3 are com mensurable, one shows easily that ℚ 𝑉𝑉 ue ersion I
s 1 2 3 is offinite index in 1, 2 and 3 [8,9]. s 𝐻𝐻 𝐻𝐻 𝐻𝐻 𝐻𝐻 I 𝐻𝐻a) D∩e 𝐻𝐻fin ∩itio 𝐻𝐻n 𝐻𝐻 𝐻𝐻 𝐻𝐻 XX Let 1 and 2 be su bgroups of a group . We say that 1 and 2 are commensurable if [ 1 : ], [ 2: ] < , where = 1 2, [6, 10] 𝐻𝐻 𝐻𝐻 𝑮𝑮 𝐻𝐻 𝐻𝐻
b) Remark ) 𝐻𝐻 𝑲𝑲 𝐻𝐻 𝑲𝑲 ∞ 𝑲𝑲 𝐻𝐻 ∩ 𝐻𝐻
F ( “Being commensurable” is an equivalence relation [11].
c) Examples
finite: any two 1 and 2 are commensurable. = : 1 and 2 are commensurable iff Research Volume .
they are isomorphic [13]. New York. Inc., Press Academic 𝑮𝑮 𝐻𝐻 𝐻𝐻 𝑮𝑮 𝒁𝒁 𝐻𝐻 𝐻𝐻 d) The geometry topology
Frontier Let and as fundamental groups.For instance, let = ( , ) acting on 1 2 3 and let 1 and 2 be lattices which are fundamental groups of hyperbolic
Science 𝐻𝐻 𝐻𝐻 𝑮𝑮 𝑷𝑷𝑷𝑷𝑷𝑷 𝟐𝟐 ℂ manifolds (or, more generally, or bifolds). if 1and 2are commensurable / and
of 𝐻𝐻 𝐻𝐻 𝐻𝐻 have a common finite cover. Since (orbifold) fundamental groups are defined𝟏𝟏 as 𝑿𝑿 𝐻𝐻 𝐻𝐻 𝑿𝑿 𝑯𝑯 subgroups𝟐𝟐 of only up to conjugacy, it is natural to allow subgroups to have a finite Journal 𝑯𝑯 index intersection only up to conjugacy[5,4]. 𝑮𝑮
Global e) Definition Let 1 and 2 be subgroups of a group G. We say that 1and 2 are weakly commensurable if there is a g in suchthat [ 1: ], [ 2: ] < , where 𝐻𝐻 𝐻𝐻 𝐻𝐻 𝐻𝐻 = [9] 1 2 −𝟏𝟏 𝑮𝑮 𝐻𝐻 𝑲𝑲 𝐻𝐻 𝑲𝑲 ∞ f)𝑲𝑲 Rema𝐻𝐻 ∩rk𝒈𝒈𝐻𝐻 𝒈𝒈 “Weak commensurability” is also an equivalence relation [13].
©2020 Global Journals Arithmetic Subgroups and Applications
g) The Geometry Topology in dimension 2 Let denote the fundamental group of the genus close orientable surface. of course for all 2. On the other hand one can find discrete surface groups 𝑆𝑆𝑔𝑔 2 𝑔𝑔 and inside = (2, ) which are not (weakly) commensurable[14]. 1 2𝑆𝑆𝑔𝑔 ⊂ 𝑆𝑆 𝑔𝑔 ≥ h) Definition 𝐻𝐻 𝐻𝐻 𝐺𝐺 𝑃𝑃𝑃𝑃𝑃𝑃 𝑅𝑅 Let 1 and 2 be groups. We say that 1and 2 are abstractly commensurable if there are subgroups of , = 1,2, such that [ 1: 1],[ 2: 2] < and 1 2 [5]. Ref 𝐻𝐻 𝐻𝐻 𝐻𝐻 𝐻𝐻 𝐾𝐾𝑖𝑖 𝐻𝐻𝑖𝑖 𝑖𝑖 III. Definit𝐻𝐻ions𝐾𝐾 𝐻𝐻 𝐾𝐾 ∞ 𝐾𝐾 ≅ 𝐾𝐾 2020
Let be an algebraic group over . Let : be a faithful representation r ea
of ona finite-dimensional vector space , and let be a lattice in . Define Y 𝐺𝐺 ℚ 𝜌𝜌 𝐺𝐺 → 𝐺𝐺𝐿𝐿𝑽𝑽 31 𝐺𝐺 . ( ) = {𝑉𝑉 ( )| 𝐿𝐿( ) = }. 𝑉𝑉 (1)
Anarithmetic subgroup𝐺𝐺 ofℚ (𝐿𝐿 ) is𝑔𝑔 any ∈𝐺𝐺 subgroupℚ 𝜌𝜌 𝑔𝑔 𝐿𝐿 commensurable𝐿𝐿 with ( ) . For
an integer > 1, the principal congruence subgroup of level N is: 𝑳𝑳 V
Berlin, 2005. ISBN 𝑮𝑮 ℚ 𝑮𝑮 ℚ VI 𝑁𝑁 ( ) = { ( ) | 1 / } (2) ue ersion I s
s In other words,. ( ) is the kernel𝐿𝐿 of 𝐿𝐿
Γ 𝑁𝑁 𝑔𝑔 ∈𝐺𝐺 ℚ 𝑔𝑔 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎 𝑜𝑜𝑜𝑜 𝐿𝐿 𝑁𝑁𝑁𝑁 I Springer, 𝐿𝐿 XX . Γ 𝑁𝑁 ( ) ( / ). In particular, it is normal and of finite index in ( ) congruence subgroup of 𝐺𝐺 ℚ 𝐿𝐿 → 𝐴𝐴𝐴𝐴𝐴𝐴 𝐿𝐿 𝑁𝑁𝑁𝑁 ( ) ( ) is any subgroup containing some as a subgroup of finite𝑳𝑳 index, so congruence
subgroups are arithmetic subgroups [15]. 𝐺𝐺 ℚ ) F 𝐺𝐺 ℚ Γ 𝑁𝑁 ( a) Example Let = with its standard representation on and its standard lattice 𝒏𝒏 ( ) ( ) Research Volume = . Then 𝑛𝑛 consists of the = such that 𝑛𝑛 𝐺𝐺 𝐺𝐺𝐿𝐿 ℚ = . On applying to 1,…, , we see that this implies that has entries in . 𝐿𝐿 𝑍𝑍 𝐺𝐺 ℚ 𝐿𝐿 𝐴𝐴 𝐺𝐺𝐿𝐿𝑛𝑛 ℚ Since𝑛𝑛 𝒏𝒏1 = , the same is true of 1. Therefore, ( ) is: 𝐴𝐴ℤ ℤ 𝐴𝐴 𝑒𝑒 𝑒𝑒𝑛𝑛 𝐴𝐴 ℤ Frontier − 𝒏𝒏 𝒏𝒏 − 𝐴𝐴 ℤ ℤ ( ) = {𝐴𝐴 ( )| (𝐺𝐺)ℚ=𝐿𝐿 ±1} (3)
Science The ar ithmetic subgroups𝐺𝐺𝐿𝐿𝑛𝑛 ℤ of 𝐴𝐴( )𝒏𝒏 ∈𝑀𝑀areℤ t𝑑𝑑hos𝑑𝑑𝑑𝑑e𝐴𝐴 commensurable with ( )[16]. By definition, of 𝐺𝐺𝐿𝐿𝑛𝑛 ℚ 𝐺𝐺𝐿𝐿𝑛𝑛 ℤ
4, MR 2109105. 4, ( ) = { ( )| } Journal
Lie Groups and Lie Algebras, Chapters 7 Chapters Algebras, Lie and Groups Lie baki: 𝑛𝑛 (4) r ( ) Γ 𝑁𝑁 = 𝐴𝐴 ∈𝐺𝐺𝐿𝐿 ℤ 𝐴𝐴| ≡𝐼𝐼 𝑚𝑚𝑚𝑚𝑚𝑚 𝑁𝑁 , Global Which is the kernel of ��𝑎𝑎𝑖𝑖𝑖𝑖 � ∈ 𝐺𝐺𝐿𝐿𝑛𝑛 ℤ 𝑁𝑁 𝑑𝑑𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 �𝑎𝑎𝑖𝑖𝑖𝑖 − 𝛿𝛿𝑖𝑖𝑖𝑖 �� N. Bou 3-540-43405- ( ) ( / ). 15. b) Example 𝑛𝑛 𝑛𝑛 The group 𝐺𝐺𝐿𝐿 ℤ → 𝐺𝐺𝐿𝐿 ℤ 𝑁𝑁ℤ
0 0 ( ) = ( )| = (5) 2 2 0 0 𝑡𝑡 𝐼𝐼 𝐼𝐼 𝑆𝑆𝑝𝑝 𝑛𝑛 ℤ �𝐴𝐴 ∈𝐺𝐺𝐿𝐿 𝑛𝑛 ℤ 𝐴𝐴 � � 𝐴𝐴 � �� −𝐼𝐼 −𝐼𝐼 ©2020 Global Journals Arithmetic Subgroups and Applications
is an arithmetic subgroup of 2 ( ), and all arithmetic subgroups are commensurable with it [3]. 𝑆𝑆𝑝𝑝 𝑛𝑛 ℤ IV. R-F orms of Class ical Simple Groups Over To set the stage, let us recall the classical result that almost all complex ℂ simple groups are classical: a) Theo rem All but finitely many of the simple Lie groups over are isogenous to either Ref ( , ), ( , ), or (2 , ), for some , [15, 17] ℂ 2020
b) Rema rk 18. r 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 𝑪𝑪 𝑛𝑛 ea J. E. H J. Theory.
Y Up to isogeny, there are exactly five simple Lie groups over that are not classical. They are the “exceptional” simple groups, and are called , , , 4, and 2. 41 ℂ We would like to describe the -forms of each of the classical groups. For 𝐸𝐸𝟔𝟔 𝐸𝐸𝟕𝟕 𝐸𝐸𝟖𝟖 𝐹𝐹 𝐺𝐺 example, finding all the -forms of ( , ) woul d mean making a list of Springer, Berlin Heidelberg York, MRNew 1972. 0323842 .
the (simple) Lie groups G, such thatℝ the “complexification” of is ( , ). u mphreys: Representation and Introduction to Lie Algebras V This is not difficult, but ℝwe should perhaps𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ begin by explaining more clearly VI what it means. It has already been mentioned that, intuitively, the complexification𝐺𝐺 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ of ue ersion I s
s is the complex Lie group that is obtained from by replacing real numbers with
I complex numbers. For example, the complexification of ( , ) is
XX 𝐺𝐺 𝐺𝐺 ( , ). In general, is (isogenous to) the set of real solutions of a certain 𝑆𝑆𝑆𝑆 𝑛𝑛 ℝ set of equations, and we let be th e set of complex solutions of the same 𝑺𝑺𝑺𝑺 𝑛𝑛 ℂ 𝐺𝐺 set of equations [18] 𝐺𝐺ℂ
) c) Notation of complex, semisimple F ( Assume ( , ), for some . Since is almost Zariski closed, there is a certain subset of [ 1,1,…, , ], such t hat = ( ) . Let: 𝐺𝐺 ⊆𝑆𝑆 ℓ ℝ ℓ ◦ 𝐺𝐺 ◦ Research Volume 𝒬𝒬 ℝ 𝑥𝑥= 𝑥𝑥(ℓ ℓ) = { (𝐺𝐺, )| 𝑉𝑉(𝑉𝑉𝑉𝑉)𝒬𝒬= 0, for all }. (6)
ℂ ℂ Then is a (complex,𝐺𝐺 𝑉𝑉semisimple)𝑉𝑉𝑉𝑉 𝒬𝒬 𝑔𝑔Lie group. ∈𝑆𝑆 ℓ ℂ 𝑄𝑄 𝑔𝑔 𝑄𝑄 ∈𝒬𝒬 Frontier
d) Examp𝐺𝐺ℂ le ( ) Science • , = ( , ).
of • ( ) =ℂ ( , ). 𝑆𝑆𝑆𝑆 𝑛𝑛 ℝ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ
• ( ,ℂ ) ( + , ). 𝑆𝑆𝑆𝑆 𝑛𝑛 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ Journal e) Definitionℂ 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ≅ 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ℂ If is isomorphic to , then we say that Global • isℂ the complexification of , and that 𝐺𝐺 𝐻𝐻 • is an -form of 𝐻𝐻 𝐺𝐺 The following result lists the complexification of each classical group. It is not difficult𝐺𝐺 ℝto memorize𝐻𝐻 the correspondence. For example, it is obvious from the notation
that the complexification of ( , ) should be symplectic.Indeed, the only case that
really requires memorization is the complexificationof ( , ) [19,2]. 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛
©2020 Global Journals 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 Arithmetic Subgroups and Applications
f) Proposition Here is the complexification of each classical Lie group. Real forms of special linear group: 1 ( , ) = ( , ), 2 ( , ) ( , ) × ( , ), 𝑆𝑆𝑆𝑆 𝑛𝑛 ℝ ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 3 ( , ) (2 , ), 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ ℂ ≅ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 4 ( , ) ( + , ). Ref 𝑆𝑆𝑆𝑆 𝑛𝑛 ℍ ℂ ≅ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ Real forms ofℂ orthogonal groups: 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ≅ 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ℂ 1 ( , ) ( + , ), 2020
( ) ( ) ( ) r 2 , ℂ , × , , 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ≅ 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ℂ ea 3 ( , ) (2 , ). Y 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ ℂ ≅ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ Real forms of symplectic groups: 51 𝑆𝑆𝑆𝑆 𝑛𝑛 ℍ ℂ ≅ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 1 ( , ) = ( , ), New York, York, New ( ) ( ) ( ) 2 , ℂ , × , ,
𝑆𝑆𝑆𝑆(𝑛𝑛 ℝ) 𝑆𝑆𝑆𝑆 (𝑛𝑛(ℂ ) ) V . 3 , ℂ 2 + , .
𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ ≅ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ VI ℂV. Calculating the Complexification of Classical G
𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ≅ 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ℂ ue ersion I s Here is justifies Proposition 4.6, by calculating the complexification of each s I
classical group. Let us start with ( , ). This is already a complex Lie group, but XX Academic Press, wecan think of it as a real Lie group of twice the dimension. As such, it has a complexification [20,6]. 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ a) Lemma
)
The tensor product is isomorphic to ( ). F
2×2 ( Proof. Define an -linear map : 2×2( ) by 𝐻𝐻⊗ℝℂ 𝑀𝑀𝑀𝑀𝑀𝑀 ℂ 0 0 1 0 (1) =ℝ , ( ) = 𝜙𝜙 ℍ → , 𝑀𝑀𝑀𝑀𝑀𝑀( ) = ℂ , ( ) = (7) 0 1 0 0 Research Volume 𝑖𝑖 𝑖𝑖 𝜙𝜙 𝐼𝐼𝐼𝐼 𝜙𝜙 𝑖𝑖 � � 𝜙𝜙 𝑗𝑗 � � 𝜙𝜙 𝑘𝑘 � � It is straight forward to verify−𝑖𝑖 that is − an injective ring𝑖𝑖 homomorphism. Furthermore, ({1, , , }) is a basis of 2×2( ). Therefore, the map Frontier
f Classical Groups Classical o f Subgroups Arithmetic 𝜙𝜙 : ( ) defined by ( ) = ( ) is a ring isomorphism [1] 𝜙𝜙2×2 𝑖𝑖 𝑗𝑗 𝑘𝑘 ℂ − 𝑀𝑀𝑀𝑀𝑀𝑀 ℂ 𝜙𝜙b)� ℍHow ⊗ ℂto → find 𝑀𝑀𝑀𝑀𝑀𝑀 the realℂ forms of complex𝜙𝜙� 𝑣𝑣 ⊗ 𝜆𝜆groups𝜙𝜙 in𝑣𝑣 𝜆𝜆 Science Now, we will explain how to find all of the possible forms of of ( , ). We take an algebraic approach, based onℂ Galois theory, and we first review
the most basic terminology from the theory of (nonabelian) group cohomologyℝ − [1]. Journal 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ Number Theory, Theory, Number Shafarevich: R. I. and evich c) Definitions or
Suppose a group acts (on the left) by automorphismson a group . (For Global and , we write for the image of munder .) A function : is a Z. B I. 1966. MR 0195803390 18. 1966. MR 0195803390 𝑋𝑋 𝑀𝑀 𝑥𝑥 ∈ 1-cocycle (or “crossed homomorphism𝒙𝒙 ”) if 𝑋𝑋 𝑚𝑚 ∈𝑀𝑀 𝑚𝑚 𝑥𝑥 𝛼𝛼 𝑋𝑋 →𝑀𝑀 1. ( ) = ( ) · ( )for all ; . 𝑥𝑥 Two 1-cocycles 𝛼𝛼 and𝑥𝑥𝑥𝑥 𝛼𝛼 are𝑥𝑥 equivalent𝛼𝛼 𝑦𝑦 𝑥𝑥(or𝑦𝑦 ∈“cohomologous𝑋𝑋 ”) if there is some , such that 𝛼𝛼 𝛽𝛽
𝑚𝑚 ∈𝑀𝑀 ©2020 Global Journals Arithmetic Subgroups and Applications
( ) = 1 ( ) . 𝑥𝑥 1 − ( , ) is the set of 𝛼𝛼equivalence𝑥𝑥 𝑚𝑚 ∙classes 𝛽𝛽 𝑥𝑥 ∙ of 𝑚𝑚 𝑓𝑓all𝑓𝑓𝑓𝑓 1𝑎𝑎𝑎𝑎𝑎𝑎 𝑥𝑥 ∈𝑋𝑋 . It is calledthe first cohomology of with coefficients in . A 1 is a coboundary if it is cohomologoyℋ 𝑋𝑋 𝑀𝑀 us to the trivial 1 defined by (−)𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐= for all [6]. 𝑋𝑋 𝑀𝑀 − 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 d) Galoiscohomology − 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝜏𝜏 𝑥𝑥 𝑒𝑒 𝑥𝑥 ∈𝑋𝑋 For convenience, let = ( , ). Suppose : ( , ) is an embedding, ( ) R ef such that is defined ℂover . We wish to findℂ all the possibilities for ( ) ( 𝐺𝐺) 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ 𝜌𝜌 𝐺𝐺 → 𝑆𝑆𝑆𝑆 𝑁𝑁 ℂ the group ℂ = ( , ) that can be obtained by considering 2020 𝜌𝜌 𝐺𝐺 ℝ all the possible choices of .Let denote complex conjugation, the nontrivial Galois r
ℂ ℝ ℂ 6.
ea 𝜌𝜌 𝐺𝐺 𝜌𝜌 𝐺𝐺 ∩ 𝑆𝑆𝑆𝑆 𝑁𝑁 ℝ
Y automorphism of C over R. Since = { | ( ) = }, we have 1965) G. D. Mostow, eds.: Algebraic Groups and Discontinuous Subgroups(Boulder,Colo., 𝜌𝜌 𝜎𝜎 TitJ. 61 ( , )ℝ= { 𝒵𝒵( ∈ℂ σ, 𝒵𝒵)| (𝒵𝒵) = }, (8)
, Amer. Math. Math. Amer. Providence,Soc., R.I., 1966,pp. 33{62. 0224710. MR s where we apply to a matrix 𝑆𝑆𝑆𝑆 𝑁𝑁byℝ applying𝑔𝑔 it ∈𝑆𝑆 to𝑁𝑁 eachℂ σof𝑔𝑔 the matrix𝑔𝑔 entries.Therefore simple groups, in A. Borel and : Classification of algebraic semi V 𝜎𝜎 ( ) = ( ) ( , ) = { ( )| ( ) = } (9) VI ℂ ℝ ℂ ℂ ue ersion I ( ) s Since is def𝜌𝜌ined𝐺𝐺 over 𝜌𝜌, 𝐺𝐺we know∩ 𝑆𝑆𝑆𝑆 𝑁𝑁thatℝ it is𝑔𝑔 invariant ∈𝜌𝜌 𝐺𝐺 underσ 𝑔𝑔 𝑔𝑔, so wehave s
I 1 ℂ 𝜌𝜌 𝐺𝐺 ℝ ( ) ( ) . 𝜎𝜎 XX − 𝜌𝜌 𝜎𝜎 𝜌𝜌 1 Let = : be the 𝐺𝐺 cℂomposition.→ 𝜌𝜌 𝐺𝐺 ℂ → 𝜌𝜌Then𝐺𝐺 ℂ the�⎯� 𝐺𝐺realℂ form corresponding to is − ℂ ℂ 1
𝜎𝜎� 𝜌𝜌 𝜎𝜎𝜎𝜎 𝐺𝐺 →= 𝐺𝐺 ( ) ( , ) = { | ( ) = } 𝜌𝜌 (10) )
F − ( To summarize,𝐺𝐺ℝ the𝜌𝜌 �obvious𝜌𝜌 𝐺𝐺 ℂ ∩ 𝑆𝑆𝑆𝑆-form𝑁𝑁 ℝ of� is𝑔𝑔 the ∈𝐺𝐺 ℂset𝜎𝜎� 𝑔𝑔of fixed𝑔𝑔 points of the usual
complex conjugation, and any other -form ℂ is the set of fixed points of some ℝ 𝐺𝐺
Research Volume other auto morphism of . Now let ℝ ℂ 𝐺𝐺 ( ) = 1: . (11)
Frontier − It is not difficult to see that ℂ ℂ 𝛼𝛼 𝜎𝜎 𝜎𝜎�𝜎𝜎 𝐺𝐺 → 𝐺𝐺 • ( ) is an automorphism of (as an abstract group), and
Science 1 1 • ( ) is holomorphic (sinceℂ and are holomorphic - in fact,
of 𝛼𝛼 𝜎𝜎 𝐺𝐺 they can be represented by polynomials − in local− coordinates). So ( ) Aut( ). 𝛼𝛼 𝜎𝜎 𝜌𝜌 𝜎𝜎𝜎𝜎𝜎𝜎 Thus, by defining (1) to be the trivial automorphism,we obtain a function 𝛼𝛼 𝜎𝜎 ∈ 𝐺𝐺 ℂ Journal : Gal( / ) Aut( ). Let Gal( / ) act on Aut( ), by defining 𝛼𝛼 𝛼𝛼 ℂ ℝ → 𝐺𝐺 ℂ ℂ ℝ 1 𝐺𝐺(ℂ ) Global = for Aut . (12) 𝜎𝜎 − ℂ Then ( ) = 1 , 𝜑𝜑( )·𝜎𝜎𝜑𝜑𝜎𝜎 ( ) =𝜑𝜑(1) ∈ (s𝐺𝐺ince 2 = 1). This means that is
1 of group− 𝜎𝜎cohomology, 𝜎𝜎 and therefore defines an element of the
cohomology set𝛼𝛼 𝜎𝜎 1Gal𝜑𝜑 ( /𝜑𝜑 ),𝑠𝑠𝑠𝑠Aut𝛼𝛼 (𝜎𝜎 ). 𝛼𝛼In𝜎𝜎 fact: This𝛼𝛼 construction𝜎𝜎 provides a one- to-one𝛼𝛼
correspondence− 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 between 1Gal( / ), Aut( ). and the set of -forms of [21,14,19]. ℋ ℂ ℝ 𝐺𝐺 ℂ
ℋ ℂ ℝ 𝐺𝐺 ℂ ℝ 𝐺𝐺 ℂ
©2020 Global Journals Arithmetic Subgroups and Applications
VI. Applications to Manifolds
is a discrete subset of , i.e., every point of has an open 𝟐𝟐 𝟐𝟐 𝟐𝟐 neighbourhood(for𝒏𝒏 the real topology) containing𝒏𝒏 no other point of𝒏𝒏 , Therefore, 𝟐𝟐 ( )ℤ ( ) ℝ ℤ 𝒏𝒏 is discrete in and it follows that every arithmetic subgroup of a group ( ) ( ) ℤ is𝑛𝑛 discrete in Let𝑛𝑛 be an algebraic group over . Then is a Lie group, and 𝐺𝐺𝐿𝐿 ℤ 𝐺𝐺𝐿𝐿 ℝ ( ) ( ) Γ for every compactsubgroup of , = / is a smooth manifold [22]. Ref 𝐺𝐺 𝐺𝐺 ℝ 𝐺𝐺 ℚ 𝐺𝐺 ℝ a) Torsion-free arithmetic groups𝐾𝐾 𝐺𝐺 ℝ 𝑀𝑀 𝐺𝐺 ℝ 𝐾𝐾
2( ) is not torsion-free. For example, the following elements have finite order: 2020
𝑆𝑆𝐿𝐿 ℤ 1 0 2 1 0 0 1 2 1 0 0 1 3 r = , = = (13) ea 0 1 0 1 1 0 0 1 1 1 Y − − − − b) Theorem � � � � � � � � � � 71 − − Every arithmetic group contains a torsion-free subgroup of finite index.For this, it suffices to prove the following Lemma [12].
c) Lemma V
For any prime 3, the subgroup ( )/ of ( ) is torsion-free. VI ue ersion I s Proof. If not, 𝑝𝑝it will ∈ contain an element𝛤𝛤 𝑝𝑝 of𝐺𝐺𝐿𝐿 order𝑛𝑛 ℤ a prime and so we will have an s equation: I
ℓ XX (1 + ) = (14) 𝑚𝑚 𝓵𝓵 with 1and a matrix in ( ) not div𝑝𝑝 isible𝐴𝐴 by𝐼𝐼 . Since and commute, we can
expand this using the binomial theorem, and obtain an equation: ) 𝑛𝑛 F
𝑚𝑚 ≥ 𝐴𝐴 𝑀𝑀 ℤ 𝑝𝑝 𝐼𝐼 𝐴𝐴 ( . Chapman & Hall/CRC, Boca Raton, Chapman Boca Hall/CRC, . & = = (15)
𝑚𝑚 ℓ ℓ 𝑚𝑚𝑚𝑚 𝑖𝑖 In the case that , theℓ𝑝𝑝 exact𝐴𝐴 −power∑𝒊𝒊 𝟐𝟐 �of � 𝑝𝑝dividing𝐴𝐴 the left hand side is , but 𝑖𝑖 Research Volume 2 divides the right hand side, and so we have a contradiction. In the case𝑚𝑚 that ℓ ≠ 𝑝𝑝 𝑝𝑝 𝑝𝑝 =𝑚𝑚 , the exact power of dividing the left hand side is +1, but, for 2 <
𝑝𝑝 Frontier , 2 +1| because , and 2 +1| because 3𝑚𝑚. A gain we have a ℓ 𝑝𝑝 𝑝𝑝 𝑝𝑝 ≤ 𝑖𝑖 contradiction𝑚𝑚 𝑝𝑝 [12].𝑚𝑚𝑚𝑚 𝑝𝑝 𝑚𝑚 𝑚𝑚𝑚𝑚
𝑝𝑝 𝑝𝑝 � � 𝑝𝑝 𝑝𝑝 � � 𝑝𝑝 𝑝𝑝 𝑝𝑝 ≥ Science d) Application𝑖𝑖 to quadratic forms𝑖𝑖 Consider a binary quadratic form: of
2 2 ( , ) = + + , , , (16) Journal
2 H. 2002. structure The of complex groups,Lie & Chapman volume 429 of
. Assume is positive𝑞𝑞 𝑥𝑥definite,𝑦𝑦 𝑎𝑎𝑥𝑥 so that𝑏𝑏𝑏𝑏𝑏𝑏 its 𝑐𝑐discriminant𝑦𝑦 𝑎𝑎 𝑏𝑏 𝑐𝑐 ∈= ℝ 4 < 0. There are
Global many questions one can ask about such forms. For example, for which integers is there a solution𝑞𝑞 to ( , ) = with , For this, and ∆other𝑏𝑏 −questions,the𝑎𝑎𝑎𝑎 answer LEE, D LEE, Hall/CRC Research Notes Mathematics in FL. depends only on the equivalence class of , where two forms are said to 𝑁𝑁be
12. equivalent if each can𝑞𝑞 𝑥𝑥 be𝑦𝑦 obtained𝑁𝑁 from𝑥𝑥 𝑦𝑦 ∈the ℤ other by an integer change of variables. 𝑞𝑞 More precisely, and are equivalent if there is a matrix 2( ) taking into by thechange of variables, ′ ′ 𝑞𝑞 𝑞𝑞 𝐴𝐴 ∈𝑆𝑆 ℤ 𝑞𝑞 𝑞𝑞
©2020 Global Journals Arithmetic Subgroups and Applications
= . (17) 𝑥𝑥′ 𝑥𝑥 � � 𝐴𝐴 � � In other words, the forms: 𝑦𝑦′ 𝑦𝑦 ( , ) = ( , ). . , ( , ) = ( , ) . . (18) ′ ′ 𝑥𝑥 𝑥𝑥 are equivalent if =𝑞𝑞 𝑥𝑥 𝑦𝑦. . 𝑥𝑥for𝑦𝑦 𝑄𝑄 � � ( )𝑞𝑞. E𝑥𝑥ve𝑦𝑦ry po𝑥𝑥sit𝑦𝑦ive-𝑄𝑄definite� � binary quadratic 𝑦𝑦 2 𝑦𝑦 form can be written uniquely:𝑡𝑡 ′ Notes 𝑄𝑄 𝐴𝐴 𝑄𝑄 𝐴𝐴 𝐴𝐴 ∈ 𝑆𝑆𝑆𝑆 ℤ ( , ) = ( )( ), , . (19) 2020
r
ea If we let denote the set of such forms, there are commuting actions of and
Y 𝑞𝑞 𝑥𝑥 𝑦𝑦 𝑎𝑎 𝑥𝑥 −𝜔𝜔 𝑥𝑥 − 𝜔𝜔� 𝑦𝑦 𝑎𝑎 ∈ℝ 𝜔𝜔 ∈ ℋ 2( ) on it, and 81 𝑄𝑄 ℝ 𝑆𝑆𝑆𝑆 ℤ /
as 2( ) sets. We say that is reduced𝒬𝒬 ℝif ≅ ℋ V 1 1 1 VI 𝑆𝑆𝑆𝑆 ℤ | | > 1 and 𝑞𝑞 ( ) < , or| | = 1 and ( ) < 0 (20) 2 2 2 ue ersion I s s More explicitly,𝜔𝜔 ( , ) = − 2 +≤ ℜ 𝜔𝜔+ 2 is red𝜔𝜔uced if and− only≤ ℜif either𝜔𝜔 [9]. I XX 𝑞𝑞 𝑥𝑥 𝑦𝑦 𝑎𝑎𝑥𝑥 < 𝑏𝑏𝑏𝑏𝑏𝑏 𝑐𝑐<𝑦𝑦 or 0 b a = c.
e) Applications of the classification−𝑎𝑎 𝑏𝑏 of ≤𝑎𝑎 arithmetic𝑐𝑐 ≤ groups≤
) Consequences of the classification of -forms. Suppose is an arithmetic F
( subgroup of ( , ), and + 5 is odd. Then there is a finite extension of ,
with ring of integers , such that is commensurable𝐹𝐹 to ( , ), for𝛤𝛤 some invertible, 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 𝑚𝑚 𝑛𝑛 ≥ 𝐹𝐹 𝑄𝑄 symmetric matrix in Mat × ( ). So = ( , ). Restriction of scalars implies there
Research Volume 𝒪𝒪 𝛤𝛤 𝑆𝑆𝑆𝑆 𝐴𝐴 𝒪𝒪 isa group that is defined over an algebraic number field and has a simple factor that 𝐴𝐴 𝑛𝑛 𝑛𝑛 𝐹𝐹 𝐺𝐺 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 is is ogenous to , such that is commensurable to . By inspection, we see that a 𝐺𝐺� 𝐹𝐹
Frontier group of the form ( , ) never appears at two places. However, we know that 𝐺𝐺 𝛤𝛤 𝐺𝐺�𝒪𝒪 + is odd, so the only possibility for is ( , ). Therefore, is commensurable to 𝑆𝑆𝑆𝑆 𝑚𝑚 𝑛𝑛 ( , ) [5, 1, 12]. Science 𝑚𝑚 𝑛𝑛 𝐺𝐺�𝐹𝐹 𝑆𝑆𝑆𝑆 𝐴𝐴 𝐹𝐹 𝛤𝛤
of 𝑆𝑆𝑆𝑆 𝐴𝐴 𝒪𝒪 VII. Conclusion
To state the conclusion in our applications, we can expand binomial and obtain Journal 1 an equation. The coefficient group is sometimes non-abelian. In case, ( , ) is a set with no obvious algebraic structure. However, if is an abelian group (as is often Global 𝑀𝑀 𝐻𝐻 𝑋𝑋 𝑀𝑀 assumed ingroup cohomology), 1 (X, M) is an abelian group.The general principle: if is 1𝑀𝑀 an algebraic object that is defined over , then Gal( / ), Aut( ) is in one-to-one 𝐻𝐻 𝑋𝑋 correspondence with the set of -isomorphism classes of -defined objects whose - ℝ ℋ ℂ ℝ 𝑋𝑋 ℂ points are isomorphic to . We will explain how to find all of the possible -forms ℝ ℝ ℂ of ( , ). The techniques ℂcan be used algebraic structure, but additional calculations are needed. 𝑋𝑋 ℝ 𝑆𝑆𝑆𝑆 𝑛𝑛 ℂ
©2020 Global Journals Arithmetic Subgroups and Applications
Acknowledgements We would like to thank Prof Shawgy Hussein Abdallaand Dr. Muhsin Hassan Abdallah who were a great help to us. We would also like to thank Mr. Bashir Alfadol Albdawi.
References Références Referencias 1. Z. I. Borevich and I. R. Shafarevich: Number Theory, Academic Press,New York, Notes 1966. MR 0195803390 18. ARITHMETIC SUBGROUPS OF CLASSICAL GROUPS 2. S. Helgason: Differential Geometry, Lie Groups, and Symmetric Spaces.
Academic Press, New York, 1978. ISBN 0-12-338460-5, MR 0514561 2020
3. F. E. A. Johnson: On the existence of irreducible discrete subgroups in r ea
isotypic Lie groups of classical type, Proc. London Math. Soc.(3) 56 Y (1988) 51{77. MR 0915530, http://dx.doi.org/10.1112/plms/s3-56.1.51 91 4. LEE, D. H. 2002. The structure of complex Lie groups, volume 429 of Chapman &Hall/CRC Research Notes in Mathematics. Chapman & Hall/CRC, Boca Raton, FL.
5. BOURBAKI, N. LIE. Groupes et Algebresde Lie. ` El ´ ements de math ´ ematique. V
Hermann; ´Masson, Paris. Chap. I, Hermann 1960; Chap. II,III, Hermann 1972; VI Chap. IV,V,VI, Masson 1981;Chap. VII,VIII, Masson 1975; Chap. IX, Masson 1982 ue ersion I s (English translation available from Springer). s 6. J. Tits: Classification of algebraic semi simple groups, in A. Borel and I G. D. Mostow, eds.: Algebraic Groups and Discontinuous Subgroups(Boulder,Colo., XX 1965), Amer. Math. Soc., Providence, R.I., 1966,pp. 33{62. MR 0224710. 7. A. Borel , Introduction aux groups arithm´etiques, Paris, Hermann & Cie. 125p.
(1969). )
8. A.Borel and G. Harder: Existence of discrete cocompact subgroups of reductive F ( groups over local fields, J. Reine Angew. Math.298 (1978)53{64. MR 0483367, http://eudml.org/doc/151965. 9. HELGASON, S. 1978. Differential geometry, Lie groups, and symmetric spaces, Research Volume volume 80 of Pure and Applied Mathematics. Academic Press Inc., New York. 10. ERDMANN, K. AND WILDON, M. J. 2006. Introduction to Lie algebras. Springer
Undergraduate Mathematics Series. Springer-Verlag London Ltd., London. Frontier
11. LEE, D. H. 1999. Algebraic subgroups of Lie groups. J. Lie Theory 9:271–284.
12. LEE, D. H. 2002. The structure of complex Lie groups, volume 429 of Chapman & Hall/CRC Research Notes in Mathematics. Chapman & Hall/CRC, Boca Raton, Science
of FL.
13. JACOBSON, N. 1962. Lie algebras. Interscience Tracts in Pure and Applied Mathematics, No. 10. Interscience Publishers, New York-London. Reprinted by Journal Dover 1979.
14. A. Weil: Algebras with involution and the classical groups, J. Indian
Global Math. Soc. 24 (1960) 589{623. MR 0136682. 15. N. Bourbaki: Lie Groups and Lie Algebras, Chapters 7. Springer, Berlin, 2005. ISBN 3-540-43405-4, MR 2109105. 16. V. Platonov and A. Rapinchuk: Algebraic Groups and Number Theory. Academic Press, Boston, 1994. ISBN 0 -12-558180-7, MR 1278263. 17. N. Jacobson: Basic Algebra I, 2nd ed. Freeman, New York, 1985. ISBN0-7167-1480- 9, MR 0780184.
©2020 Global Journals Arithmetic Subgroups and Applications
18. J. E. Humphreys: Introduction to Lie Algebras and Representation Theory. Springer, Berlin Heidelberg New York, 1972. MR 0323842.
19. E. Car tan: Les groupesr´eels simples finis et continus, ´Ann . Sci. Ecole ´Norm . Sup. 31 (1914) 263 {355. Zbl45.1408.03, http:// www.nu mdam.org/item? id=ASENS 1914 3 31 263 0. 20. R. S. Pierce: Associative Algebras. Springer, New York, 1982. ISBN0-387-90693-2, MR 0674652. 21. J.{P. Serre: A Course in Arithmetic, Springer, New York 1973.MR 0344216. 22. LEE, J. M. 2003. Introduction to smooth manifolds, volume 218 of Graduate Notes Textsin Mathematics . Springer-Verlag, New York.
2020
r ea
Y 101
V
VI
ue ersion I s s I XX
) F (
Research Volume Frontier Science of Journal Global
©2020 Global Journals Global Journal of Science Frontier Research: F Mathematics and Decision Sciences Volume 20 Issue 6 Version 1.0 Year 2020 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals Online ISSN: 2249-4626 & Print ISSN: 0975-5896
Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems By Md. Asaduzzaman, Liton Chandra Roy & Md. Musa Miah Mawlana Bhashani Science and Technology University Abstract- B-splines interpolations are very popular tools for interpolating the differential equations under boundary conditions which were pioneered by Maria et.al.[16] allowing us to approximate the ordinary differential equations (ODE). The purpose of this manuscript is to analyze and test the applicability of quadratic B-spline in ODEwithdata interpolation, and the solving of boundary value problems.A numerical example has been given and the error in comparison with the exact value has been shown in tabulated form, and also graphical representations are shown. Maple soft and MATLAB 7.0 are used here to calculate the numerical results and to represent the comparative graphs. Keywords: B-splines interpolation, polynomial, approximate solution, curve approximation. GJSFR-F Classification: MSC 2010: 11D09
AnalysisandApplicationofQuadraticBSplineInterpolationforBoundaryValueProblems
Strictly as per the compliance and regulations of:
© 2020. Md. Asaduzzaman, Liton Chandra Roy & Md. Musa Miah. This is a research/review paper, distributed under the terms of the Creative Commons Attribution-Noncommercial 3.0 Unported License http://creativecommons.org/licenses/by-nc/3.0/), permitting all non commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
Analysis and Application of Quadratic B- Ref Spline Interpolation for Boundary Value 2020 r
nal nal Problems ea
r Y
Jou 111 Md. Asaduzzaman α, Liton Chandra Roy σ & Md. Musa Miah ρ
Abstract- B- splines interpolations are very popular tools for interpolating the differential equations under boundary
conditions which were pioneered by Maria et.al.[16] allowing us to approximate the ordinary differential equations V
(ODE). The purpose of this manuscript is to analyze and test the applicability of quadratic B-spline in ODEwithdata VI interpolation, and the solving of boundary value problems.A numerical example has been given and the error in ue ersion I s
comparison with the exact value has been shown in tabulated form, and also graphical representations are shown. s
Maple soft and MATLAB 7.0 are used here to calculate the numerical results and to represent the comparative graphs. I
Keywords: B-splines interpolation, polynomial, approximate solution, curve approximation. XX
I. Introduction
835.
– B-splines play an important role in many areas such as mathematics, engineering
and computer science in recent years. Specially B-splines were used for approximation ) F purposes. I. J. Schoenberg [1]initiate the idea of a spline in 1946 and letter on, in the ( early 1970s, de Boor [2] defined the splines. At present, these are popular in computer
graphing due to their velvetiness, tractability, and precision.
It is well-known that polynomial B-splines, particularly the quadratic and cubic Research Volume ol. 13, pp. 827 13, pp. ol.
V B-splines, have gained widespread application and approximate solutions are obtain
, using different types of quadratic B-spline methods.S.Kutuay, et.al.[5] demonstrate the
numerical solutions of the Burgers’ equation by the least-squares quadratic B-spline Frontier finite element method. B. Saka et.al.[6] obtained a numerical solution of the Regularised Long Wave (RLW) equation using the quadratic B-spline Galerkin finite element
Science method. A.A. Soliman & K.R. Raslan[7] presented Regularised Long Wave (RLW) equation by Collocation method using quadratic B-splines at mid points as element of shape functions. Curve a pproximation with quadratic B -splines can broadly divided in
two categories.First, curve approximation with data point interpolation.The use of arc Journal length and curvature characteristics of the given curve to extract the interpolation points was presented in a method for knot placement of the piecewise polynomial Global
khoff, G. and G. khoff, Boor, C. interpolation, spline Error bounds de. (1964). for approximation of curves was given in [8] and global reparametrization for curve r approximation was also been published in [9]. Article on rational parametric curve Bi of Mathematics andMechanics approximation was published in [10] where the data points, in this case, may not be 2. located on the curve and not much of the work on curve approximation is available using this technique.
Author α σ ρ: Department of Mathematics, Mawlana Bhashani Science and Technology University, Tangail-1902, Bangladesh. e-mail: [email protected]
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
Farago and Horvath [12] (1999) obtained numerical solutions of the heat equation using the finite difference method. Bhatti and Bracken [13] (2006) presented approximate solutions to linear and nonlinear ordinary differential equations using Bernstein polynomials. Bhatta and Bhatti [14] (2006) obtained a numerical solution of the KdV equation using modified Bernstein polynomials via Galerkin method. MunguiaM. and Bhatta. D. [15] al. (2014) discussed the usage of cubic B-spline functions in interpolation. The rest of the manuscript is designed as: in section 2, materials and methods Ref are furnished. An illustrative example is shown in section 3 conclusions are prescribed in section 4. 2020 r 12.
ea II. Materials and Methods Y F 79 of the heat equation, Computers and Mathematics with Applications, Vol. 38, pp.
ar 121 Theorem-1: If ()xf is def ined at a 210 ...... N =<<<= bxxxx then f has a unique – 85. go, natural interpolation on the nodes ,, 210 ,...... , xxxx N that is a spline interpolation that I '' '' . satisfies the boundary conditions s = 0)0( and bs = 0)( an d V
Proof: The boundar y conditions c0 = 0 and c N = 0 togeth er with the following equations H VI c 3 or vath, R
ue ersion I +1 − aa jj )( − jj −1 )( haa −1c jj −1 j−1 j )(2 j +++=− j chchh j+1 (2.1) s s h j h j−1 I are produced by a linear system described by the vector equation AX = B where A is XX . (1999). optimal An choicemesh the in numerical solutions the (n +1) by N + )1( matrix.
0001 ...... 0
)
F h0 0 + hh 1 00)(2 ...... 0
( ...... = (2.2) A ......
Research Volume 0 ...... 2()+ hhhh n−2 2 nn −− 1 n−1 0 ...... 0 0 1
Frontier 0 3 3 −−− ( aa 12 ) aa 01 )(
Science h h 1 0 = (2.3) of B ...... 3 3 aa nn −1 )( −− − aa nn −− 21 )( hn−1 hn−2
Journal 0
c0 Global c1 And X = c (2.4) 2 ...... cn The matrix is A strictly diagonally dominant. So it satisfies the hypothesis.
Therefore the linear system has a unique solution for 10 ,...... ,, ccc n . The solution to the
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
'' '' cubic spline problem with the boundary conditions ( 0 ) (xsxs n ) == 0 can be obtained the theorem.
Theorem-2: If ()xf is defined at = xxxa 210 ...... n =<<<< bx and differentiable at a
and b then has a unique clamed interpolation on the nodes , 210 ,.....,, xxxx n that is a spline interpolation that satisfies the boundary conditions ' = ' afas )()( and ' = ' bfbs )()(
Proof: It can be seen using the fact that ' as s ' )()( == bx Notes 00 − ' a a01 h0 Now we have f (a) = − (2c + c10 )
h0 3 2020 r
h0 ' ea Consequently, 2h c ch ( −+=+ afcc )(3)2 Y 1000 3 10 131 ' Similarly f b)( = bn = bn + h c −−− 111 + cnnn )(
1 h j Now we have the equation b j +1 aa jj )( +−−= cc jj +1 )2( h j 3 V
VI Putting nj −= 1 in the above equation, implies that ue ersion I s s ' an − an−1 hn−1 − aa nn −1 hn−1
I f b)( = − −1 )2( ()−− 11 +++ cchcc nnnnn = n−1 ++ cc n )2( h − 3 h − 3 n 1 n 1 XX
' 3 And h cnn −− 11 −1 nn bfch )(32 −−=+ aa nn −1 )( hn−1
3 ) Also −−=+ ' 2h c ch 1000 01 afaa )(3)( F h0 (
determine the linear system = BXA , where Research Volume
2 0 hh 0 00 ...... 0 + 0 10 )(2 hhhh 1 0 ...... 0 0 h 2(h + ) hh ...... 0 Frontier = 1 221 A (2.5) ......
Science ...... 0 ..... n−2 2()+ nn −− 12 hhhh n−1
of ...... 0 0...... hn−1 2hn
3 Journal −− ' (3)( afaa ) h 01 0 3 3 Global (a a ) a −−− a )( h 12 h 01 1 0 (2.6) B = ...... 3 3 aa nn −1 )( −− − aa nn −− 21 )( hn−1 hn−2 ' 3 3 bf )( − − aa nn −1 )( hn−1
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
c0 c1 and, X = c (2.7) 2 ...... cn
The matrix is A strictly diagonally dominant. So it satisfies the hypothesis. Notes
Therefore the linear system has a unique solution for 10 ,...... ,, ccc n . The solution to the 2020 '' '' r cubic spline problem with the boundary conditions ( 0 xsxs n == 0)() can be obtained ea
Y the theorem 141 Quadratic B-spline:
2 V − xx i )( if i ≤ < xxx i+1 , VI −− +2 +1 xxxx iiii ))(( ue ersion I
s s − ii +2 − xxxx ))(( i+3 )(( −− xxxx i+1 ) + if + <≤ xxx + , I 2 i 1 i 2 (2.8) i xB )( = +2 −− xxxx iiii ++ 12 ))(( ( i+3 − i+1 − xxxx ii ++ 12 ))( XX − 2 i+3 xx )( if i+2 <≤ xxx i+3 , x − x − xx iiii ++++ 2313 ))((
) 0 otherwise F ( The last equation is a quadratic spline with knots . Note that the xi , x , x , xiii +++ 321 quadratic B-spline is zero except on the interval [ x , x ). This is true for all B-splines. Research Volume ii +3 In fact, B k (x) = 0if ∉ xxx ),[ , otherwise B k (x) > 0if x ( , xx ). i kii ++ 1 i kii ++ 1 2
Frontier Since we are only referring to B-splines of degree 2, we write B instead of . ∈ i Bi Therefore, after including four additional knots, we assume that Science ∆: x < x−− < x < x1012 < < xN −1 < x < xNN +1 < xN +2 of
is a uniform grid partition.
Journal Using (4) and letting h = x +1 − xii for any 0 ≤ i ≤ N, we define the uniform
quadratic B-spline i xB )( as
Global
2 − xx i−2 )( if i−2 <≤ xxx i−1 2 2 1 − 2( − i−1 i−1 )(2) +−+ hxxhxx if i−1 <≤ xxx i (2.9) xB )( = i 2 2 2h xi+1 − x)( if xi <≤ xx i+1 0 otherwise
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
If we choose h =1, then in the interval []− 1,2 we have the following
x + )2( 2 if x −<≤− 12 1 − 2 − xx if x <≤−+ 01122 = B0 x)( 2 (2.10) 2 − x if 0)1( x <≤ 1 0 otherwise Notes and its graph is shown in Figure 1. We know that Bi lies in the interval i, xx i+1 ),[ this
interval has nonzero contributions from −1 ,, BBB iii +1 and Bi+2 . We have a better 2020
understanding of this from Figure 2. Next, we derive the quadratic B-spline method for r ea
approximating solutions to second-order linear equations. Y 151
V VI ue ersion I s s I XX
Fig. 1: Quadratic B-spline
)
Quadratic B-spline Solution Procedure: F ( To approximate the solution of this BVP using quadratic B-splines, we let xY )( be a quadratic spline with knots ∆ . Then XY )( can be written as linear combinations of
i xB )( Research Volume
N +1 (2.11) Y = ∑ i i xBcx )()( Frontier i=−1
Where the constants ci are to be determined and the i xB )( are defined in (2.9). Science
It is required that (2.11) satisfies our BVP (3.1-3.2) at x = xi where xi is an interior of point. That is
′′ + ′ + = (2.12) Journal 1 ii 2 xYxaxYxa ii )()()()( a3 ( ii xfxYx i )()()
and the boundary conditions are Global
xY 0 )( = α for 0 = ax ,
xY N )( = β for N = bx . From (2.11), we have
= −− 11 )()( (xBcxBcxY ++ c ++ 11 + iiiiiiiiiiii ++ 22 xBcxB i ),()()
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
′ = ′ + ′ + ′ + ′ ( ) −− 11 ( ) (xBcxBcxY ) c ++ 11 ( ) iiiiiiiiiiii ++ 22 (xBcxB i ),
′′ = BcxY ′′−− 11 x )()( + ′′( + BcxBc ′′++ 11 x + c Biiiiiiiiiiii ′′++ 22 xi ),()() , (2.13) and these yield
i− 11 ′′−1 iii + 2 ′−1 iii + 3 −1 xBxaxBxaxBxac iii )]()()()()()([
+ 1 ′′ iiii + 2 ′ iii + 3 xBxaxBxaxBxac iii )]()()()()()([ (2.14) Notes + i+ 11 ′′+1 iii + 2 ′+1 iii + 3 +1 xBxaxBxaxBxac iii )]()()()()()([ 2020
r + ′′ + ′ + = i+ 12 +2 xBxac iii )()([ a2 (x )Bii +2 (xi ) a3 (xi )B +2 (xii )] f (xi ), ea Y also by the properties of quadratic B-spline functions, we obtain the following 161
′′−1 xB ii = ,0)( ′−1 xB ii = ,0)( −1 xB ii = ,0)( 1 1 1 ′′ xB )( = , ′ xB )( = − , xB )( = V ii h2 ii h ii 2
VI (2.15) 2 1 1
ue ersion I Bi′′+1 xi )( −= , Bi′+1 xi )( −= , +1 xB ii )( = , s 2 s h h 2
I ′′ = ′ = = XX +2 xB ii ,0)( +2 (xB ii ) ,0 +2 xB ii .0)(
If we combine (2.14) and (2.15), we obtain
2
) i 1 i 2 i +− 3 i hxaxhaxac ])()(2)(2[ F ( 2 2 i+ 11 i 2 xhaxac i )(2)(4[ +−−+ a3 ( i = xfhhx i ).(2]) (2.16)
Research Volume Now we apply the boundary conditions:
= −− + + ()()()( 0110000110 ) + 2 xBcxBcxBcxBcxY 02 = α,)( Frontier )( = cxY B −− 11 )( + ( ) + cxBcx B ++ 11 (xNNNNNNNNNN ) + cN BN ++ 22 = β, (2.17)
Science where the value of i xB )( at = xx 0 and = xx N are given below of
− 01 == −1 xBxB NN ),(0)(
Journal 1 )( == xBxB ),( 00 2 NN (2.18)
Global 1 B (x ) == (xB ), 01 2 N+1 N
02 == N+2 xBxB N ).(0)( Therefore,
+ = α c c10 2 (2.19)
cc NN +1 =+ 2β (2.20)
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
Now that we have found all the constant coefficients in (2.15), (2.19), and (2.20), we can write a system of N + 1 linear equations in N + 1 unknowns. This system is represented in (2.21) where the coefficient matrix is an (N + 1)×(N + 1) matrix.
z0 1 0000000 c0 2 xfh )( 0 qp 11 0000 c1 1 2 00 qp 000 c h f x2 )( Notes 22 2 =2 (2.21) 2 2020 000 0 N −2 qp N −2 0 cN −2 xfh N −2 )( r 2 ea 0000 0 − qp − c − xfh N −1 )( Y N 1 N 1 N 1 0 0 0 0 0 0 02 cN z N 171
Where 2 i 1 i 2 i +−= 3 i hxaxhaxap ,)()(2)(2 V VI 2
i −= 1 i − 2 i + 3 i hxaxhaxaq ,)()(2)(4 ue ersion I s s
I −= pq 001 ,0 XX
02 −= qp NN ,
2
0 fhz (x0 −= αp0 ,) ) F ( 2 −= βqxfhz .)( N N N
The quadratic B-spline approximation for the BVP (3.1-3.2) is obtained using Research Volume
(2.13), where the constant coefficients ci satisfy the system defined in (2.21).
III. Numerical Example Frontier Let us consider a linear boundary value problem with constant coeffi cients
Science ′′ + ′ 6yyy =− x or xf << 10 (3.1) of
With boundary conditions Journal )0( 0 yy == 1)1(, (3.2) Global The exact solution to the boundary value problem is
43( )ee −32 x −−− − )43( ee 23 x x 1 xy )( = −− (3.3) − − ee 23 )(36 6 36
The graph of the exact solution using MATLAB 7.0 is given below
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
Notes 2020 r ea Y
181
Fig. 2: Exact solution curve
V We approximate the solution of (3.1) with the boundary conditions (3.2) using
VI the quadratic B-spline method with N = 20.
ue ersion I In order to use (2.13), we first need to find the constant coefficients ci for s s i −= ,1 0 21,,1, using the system of linear equations (2.21) where the coefficient matrix I
XX is an 21×21 matrix and using (2.19) and (2.20) to find c and c respectively. These −1 21 coefficients are given below
= = = = = ) c−1 37050.3 c0 -1.37050 c1 -0.62963 c2 -0.28932 c3 -0.133041 F ( c4 = -0.61303 c5 = -0.28407 c6 = -0.133544 c7 = -0.64997 c8 = -0.34113
c9 = -0.20532 c10 = -0.00149 c11 = -0.129210 c12 = -0.12619 c13 = -0.13087 Research Volume c14 = -0.13910 c15 = -0.14896 c16 = -0.159565 c17 = -0.17051 c18 = -0.18161 = = = Frontier c19 -0.19279 c20 -0.20400 c21 0020400.2
and therefore the quadratic polynomials are as follows
Science of Journal Global
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
22.24775x- 2 1.00007-14.81739x+ xfor ∈ )05.0,00.0[ 2 10.19669x- 0.82528-7.82581x+ xfor ∈ )10.0,05.0[ 2 ∈ 4.64808x- 0.57023-4.05526x+ xfor )15.0,10.0[ 2.08680x- 2 0.35934-2.06079x+ xfor ∈ )20.0,15.0[ 0.89796x- 2 0.21236-1.01712x+ xfor ∈ )25.0,20.0[ 2 Notes 0.33963x- 0.11737-0.47087x+ xfor ∈ )30.0,25.0[ 2 0.70978x- + 0.57443-0.17968x xfor ∈ )35.0,30.0[ 0.64597x 2 0.18661-0.16550x+ xfor ∈ )40.0,35.0[ 2020 r
2 ea 0.84064x-0.13903x + 0.86481 xfor ∈ )45.0,40.0[ Y 2 0.15558x-0.18538x + 0.30699 xfor ∈ )50.0,45.0[ 191 xY )( = 2 0.21486x-0.21882x + 0.51335 xfor ∈ )55.0,50.0[ 2 0.27037x-0.24634x + 0.72908 xfor ∈ )60.0,55.0[
V 2 0.32629x-0.27113x + 0.90995 xfor ∈ )65.0,60.0[ VI 2
0.38472x-0.29467x + .124220 for x ∈ )70.0,65.0[ ue ersion I s s 2 0.44666x-0.31764x + 15558.0 for x ∈ )75.0,70.0[ I 2 0.51263x-0.34034x + 0.19149 for x ∈ )80.0,75.0[ XX 2 0.58286x-0.36292x + 0.23237 for x ∈ )85.0,80.0[ 2 0.65747x-0.38544x + 0.27861 for x ∈ )90.0,85.0[ )
2 F 0.73653x-0.40794x + 0.33057 for x ∈ )95.0,90.0[ ( 2 0.82006x-0.43043x + 0.38861 for x ∈ .0[ 95 )00.1, Research Volume The figure of quadratic B-spline by these polynomials using MATLAB 7.0 is given below Frontier Science of Journal Global
Fig. 3: Quadratic Polynomial
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
Comparing Exact values with Quadratic B-spline for Example-1
xi Quadratic spline-B Exact Absolute Error
⋅ -000 1.00006612 0 ⋅ 0000000000 -1.00006612 −⋅ 45947752.0050 0 ⋅ 0275370031 0 ⋅ 487014523 − 211182808.010.0 .0 0542570003 0 ⋅ 265439808 −⋅ 097172806.0150 0 ⋅ 0807133503 177886156.0 Notes − 0448544.020.0 0 ⋅1074285617 0 ⋅152282961
2020 −⋅ 020879375.0250 0 ⋅1349034523 0 ⋅155782827 r
ea −⋅ 0099242.0300 0 ⋅1636255435 0 ⋅173549743 Y −⋅ ⋅ ⋅ 201 004955225.0350 0 1940768511 0 199032076 −⋅ 0027292.0400 0 ⋅ 2267412146 0 ⋅ 229470414 −⋅ 00178155.0450 0 ⋅ 2621112965 0 ⋅ 263892846
V −⋅ 001385.0500 0 ⋅ 3006953693 0 ⋅ 302080369
VI −⋅ 00127565.0550 0 ⋅ 3430239998 0 ⋅344299649 ue ersion I
s −⋅ 0071772.0600 0 ⋅ 3896567348 0 ⋅396833934 s
I −⋅ 001349925.0650 0 ⋅ 4411888843 0 ⋅ 442538809
XX −⋅ 0014384.0700 0 ⋅ 4982584988 0 ⋅ 499696898 −⋅ 001544125.0750 0 ⋅ 5615536314 0 ⋅563097756 −⋅ 0016492.0800 0 ⋅ 6318199790 0 ⋅ 633469179
)
F −⋅ 0017591.0850 0 ⋅ 7098689951 0 ⋅ 711628095 ( −⋅ 0018756.0900 0 ⋅ 7965865702 0 ⋅ 79846217 −⋅ 001983925.0950 0 ⋅8929423791 0 ⋅894926304
Research Volume 1⋅ 00 0000001.1 1⋅ 0000000000 − 0000001.0
IV. Conclusion Frontier This paper presented the application of quadratic B-spline function to solve the boundary value problems.At first, we have derived the quadratic B-spline functions and Science hence derived the methods.Then we used these methods to solve second order linear of boundary value problems.After solving these problems, we compare the numerical solution with the exact solution. The comparative graph have shown some error in quadratic B-spline in comparison to the exact solution of the same function. Journal References Références Referencias Global 1. Schoenberg, I .J. (1946). Contributions to the problem of approximation of equidistant data by analytic functions, Quart. Appl. Math., Vol. 4, pp. 45–99, 112– 141. 2. Birkhoff, G. and Boor, C. de. (1964). Error bounds for spline interpolation, Journal of Mathematics and Mechanics, Vol. 13, pp. 827–835. 3. Boor, C. de. (1962). Bicubic spline interpolation, J. Math. Phys., Vol. 41, pp. 212–218.
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
4. Xuli Han, Piecewise Quadratic Trigonometric Polynomial Curves, Mathematics of Computing, 72(243)p.p. 1369–1377 (2003).. 5. S. Kutluaya A. EsenaI and Dagb, Numerical solutions of the Burgers’ equation by the least-squares quadratic B-spline finite element method, Journal of Computational and Applied Mathematics, (2004)167(1)p.p21-33 6. Bülent Saka, İdris Dağ & Abdülkadir Doğan. Galerkin method for the numerical solution of the RLW equation using quadratic B-splines. International Journal of Notes Computer Mathematics, 81(6)(2004)pp727-739. 7. A.A. Soliman & K.R. Raslan, A Finite Difference Solution of the Regularized Long- Wave Equation, Mathematical Problems in Engineering Volume 2006, Article ID 2020
85743, Pages 1–14. r
8. WeishiLia, Shuhong Xub, Gang Zhaoc & Li Ping Gohd, A Heuristic Knot ea Y Placement Algorithm for B-Spline Curve Approximation, Computer-Aided Design and Applications ,1(1-4)(2004). 211 9. Hölzle, G.E. Knot placement for piecewise polynomial approximation of curves. Computer Aided Design, 15(5):295-296, 1983.
10. Speer, T., M. Kuppe, J. Hoschek. Global reparametrization for curve approximation. V
Computer Aided Geometric Design, vol. 15, pp. 869-877, 1998. VI 11. Pratt, M., R. Goult, L. He. On rational parametric curve approximation. Computer ue ersion I s Aided Geometric Design, 10(3/4):363-377, 1993. s 12. Fargo, I. and Horvath, R. (1999). An optimal mesh choice in the numerical solutions I of the heat equation, Computers and Mathematics with Applications, Vol. 38, pp. XX 79–85. 13. Bhatti, M. I. and Bracken, P. (2006). Solutions of differential equations in a
Bernstein polynomial basis, Journal of Computational and Applied Mathematics, ) F
Vol. 205, pp. 272–280. ( 14. Birkhoff, G. and Boor, C. de.(1964). Error bounds for spline interpolation, Journal of Mathematics and Mechanics, Vol. 13, pp. 827–835.
15. Bhatta, D. and Bhatti, M. I. (2006). Numerical solution of KdV equation using Research Volume modified Bernstein polynomials, Applied Mathematics and Computation, Vol. 174, pp. 1255–1268. 16. Munguia. M. and Bhatta. D. (2014). Cubic B-Spline Functions and Their Usage in Frontier Interpolation, International Journal of Applied Mathematics and Statistics, Vol. 52,
No. 8, pp. 1–19. Science
of Journal Global
©2020 Global Journals Analysis and Application of Quadratic B-Spline Interpolation for Boundary Value Problems
Notes
2020 r
ea Y 221
V
VI ue ersion I s s I
XX This page is intentionally left blank
) F (
Research Volume Frontier Science of Journal Global
©2020 Global Journals
Global Journal of Science Frontier Research: F Mathematics and Decision Sciences Volume 20 Issue 6 Version 1.0 Year 2020 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals Online ISSN: 2249-4626 & Print ISSN: 0975-5896
New Integrals for Horn Hypergeometric Functions in Two Variables By Jihad Ahmed Younis Aden University Abstract- In this paper, we establish several new integral representations of Euler-type involving Horn’s functions G1,G2,G3,H1,H2,H5,H6 and H7. Some corollaries have also been obtained as special cases of our main results. Keywords: gamma function, beta function, horn double functions, appell functions, eulerian integrals. GJSFR-F Classification: MSC 2010: 05B25
NewIntegralsforHornHypergeometricFunctionsinTwoVariables
Strictly as per the compliance and regulations of:
© 2020. Jihad Ahmed Younis. This is a research/review paper, distributed under the terms of the Creative Commons Attribution- Noncommercial 3.0 Unported License http://creativecommons.org/licenses/by-nc/3.0/), permitting all non commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
New Integrals for Horn Hypergeometric Ref Functions in Two Variables 2020 r
Jihad Ahmed Younis ea Y
231 Abstract- In this paper, we establish several new integral representations of
Euler-type involving Horn’s functions G1,G2,G3,H1,H2,H5,H6 and H7. Some corollaries have also been obtained as special cases of our main results. , Ke ywords: gamma function, beta function, horn double functions, V appell functions, eulerian integrals. VI
I. Introduction ue ersion I s s e properties -47.
m Integral representations of hypergeometric functions have found applica I tions in divers fields such as mathematics, physics, statistics, and engi So XX neering. Hasanov et al. [9] studied some of the properties of the Horn type second order double hypergeometric function H2∗ involving integral representations, differential equations, and generating functions. Choi et al. [6] introduced certain integral representations for Srivastava’s triple
hypergeometric functions HA,HB and HC . Younis and Bin Saad [19, 20] )
F
establish several integral representations and operational relations involv ( (4) ing quadruple hypergeometric functions Xi (i = 38, 40, 45, 48, 50). You nis and Nisar [21] introduce new integral representations of Euler type for Exton’s hypergeometric functions of four variables D1,D2,D3,D4 and D . Also, in [2 5], authors introduced many integral representations for Research Volume 5 . Math. Sci., 21 (2018), 32 21 (2018), Math. Sci., . certain hypergeometric functions in four variables.
Let us recall the Gauss hypergeometric function 2F1 is defined as (see, e.g., [14] and [16, Section 1.5]) Phys Frontier
m ∞ (a)m(b)m x 2F1 (a, b; c; x) = , (|x| < 1), (1.1) (c)m m! m=0 Science type second order double hypergeometric series
where (a)m is the well known Pochhammer symbol given by (see, e.g., [16, of p. 2 and pp. 4 6]) tin KRASEC. tin asanov, M.G. Bin Saad and A. Ryskan, Ryskan, A. and Saad Bin M.G. asanov, lle Journal H 1 (m = 0), Bu A. Hornof Γ(a + m) (a)m = = Γ(a)
9. N a(a + 1)...(a + m − 1) (m ∈ := {1, 2, ...}). Global (1.2)
Euler’s integral representation of 2F1 is defined by (see, e.g., [14, p. 85] and [16, p. 65])
Author: Department of Mathematics, Aden University, Yemen. e-mail: [email protected]
©2020 Global Journals New Integrals for Horn Hypergeometric Functions in Two Variables
1 Γ(c) a 1 c a 1 b F (a, b; c; x) = α − (1 − α) − − (1 − xα)− dα, 2 1 Γ(a)Γ(c − a) 0
(Re(a) > 0, Re(c − a) > 0) .
Appell hypergeometric functions of two variables F1,F2 and F3 are respectively defined by (see [17, p. 53, Eq. (4) (6)])
m n ∞ (a)m+n(b)m(c)n x y F1 (a, b, c; d; x, y) = , (1.3) (d)m+n m! n! Ref m,n=0 ∞ a b c xm yn 2020 ( )m+n( )m( )n F2 (a, b, c; d, e; x, y) = (1.4)
r (d)m(e)n m! n! m,n=0
ea Y and
m n 241 ∞ (a)m(b)n(c)m(d)n x y F3 (a, b, c, d; e; x, y) = . (1.5) (e)m+n m! n! m,n=0