A modular algorithm for computing the exponential solutions of a linear differential operator
We present a new algorithm for computing exponential solutions of differential operators with rational function coefficients. We use a combination of local and modular computations, which allows us to reduce the number of possibilities in the combinatorial part of the algorithm. We also show how unn...
Gespeichert in:
| Veröffentlicht in: | Journal of symbolic computation Jg. 38; H. 3; S. 1043 - 1076 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier Ltd
01.09.2004
Elsevier |
| Schlagworte: | |
| ISSN: | 0747-7171, 1095-855X |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We present a new algorithm for computing exponential solutions of differential operators with rational function coefficients. We use a combination of local and modular computations, which allows us to reduce the number of possibilities in the combinatorial part of the algorithm. We also show how unnecessarily large algebraic extensions of the constants can be avoided in the algorithm. |
|---|---|
| AbstractList | We present a new algorithm for computing exponential solutions of differential operators with rational function coefficients. We use a combination of local and modular computations, which allows us to reduce the number of possibilities in the combinatorial part of the algorithm. We also show how unnecessarily large algebraic extensions of the constants can be avoided in the algorithm. |
| Author | Cluzeau, Thomas van Hoeij, Mark |
| Author_xml | – sequence: 1 givenname: Thomas surname: Cluzeau fullname: Cluzeau, Thomas email: thomas.cluzeau@unilim.fr organization: LACO, Université de Limoges, 123 avenue Albert Thomas, 87060 Limoges, France – sequence: 2 givenname: Mark surname: van Hoeij fullname: van Hoeij, Mark email: hoeij@math.fsu.edu organization: Department of Mathematics, Florida State University, Tallahassee, FL 32306, USA |
| BackLink | https://hal.science/hal-00069198$$DView record in HAL |
| BookMark | eNp9kE9rGzEQxUVxoLaTD5Cbrj3sdmb_aFf0ZEKbBAy9tJBLELJ2FMusV0ZSTPvtq8WhhxxyGpj3fjO8t2KLyU_E2C1CiYDi66E8RFNWAHWJWAI0n9gSQbZF37ZPC7aErumKDjv8zFYxHgBANnW7ZM8bfvTD66gD1-OLDy7tj9z6wI0_nl6Tm1542hOnP6f8b0pOjzz6MQt-itxbrvnoJsr04Kyl8GbxJwo6-XDNrqweI928zTX7_eP7r7uHYvvz_vFusy1MXclUDD3U1jYCcaBWC1EJSWIndQe0w0pWpmqp76vaAoIVHVQg2kFiT7Lf6VlYsy-Xu3s9qlNwRx3-Kq-deths1bzLeYVE2Z8xe_HiNcHHGMj-BxDU3KU6qNylmrtUiBltMtO9Y4xLei4hBe3GD8lvF5Jy_LOjoKJxNBkaXCCT1ODdB_Q_R8eQuA |
| CitedBy_id | crossref_primary_10_1016_j_jsc_2019_08_002 crossref_primary_10_1090_mcom_3912 crossref_primary_10_1007_s00200_005_0192_x crossref_primary_10_1016_j_jsc_2025_102424 crossref_primary_10_1088_1751_8113_49_7_074001 crossref_primary_10_1134_S096554251605002X crossref_primary_10_1134_S0361768819020099 crossref_primary_10_1145_3493492_3493496 |
| Cites_doi | 10.1515/crll.1932.168.233 10.1006/jsco.1996.0047 10.1006/jsco.1997.0151 10.1016/S0019-3577(01)80009-4 10.1006/jsco.1998.0224 10.1016/S0022-4049(97)00018-2 10.1007/BF01446541 10.1016/0019-3577(96)83726-8 10.1006/jsco.1997.0110 10.1007/BF01191378 |
| ContentType | Journal Article |
| Copyright | 2004 Elsevier Ltd Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2004 Elsevier Ltd – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | 6I. AAFTH AAYXX CITATION 1XC |
| DOI | 10.1016/j.jsc.2003.11.004 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1095-855X |
| EndPage | 1076 |
| ExternalDocumentID | oai:HAL:hal-00069198v1 10_1016_j_jsc_2003_11_004 S0747717104000276 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 6I. 6OB 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 DM4 DU5 EBS EFBJH EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG5 M25 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSW SSZ T5K TN5 UPT WUQ XPP YQT ZMT ZU3 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 1XC |
| ID | FETCH-LOGICAL-c329t-d803ff4611de5a66269e6b9a70eb1292c25e8823f010f6702065d918e98ba8823 |
| ISICitedReferencesCount | 12 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000224866700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0747-7171 |
| IngestDate | Sat Nov 29 15:07:25 EST 2025 Sat Nov 29 02:50:56 EST 2025 Tue Nov 18 21:02:58 EST 2025 Fri Feb 23 02:31:33 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Exponential solutions Modular algorithms Differential equations |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c329t-d803ff4611de5a66269e6b9a70eb1292c25e8823f010f6702065d918e98ba8823 |
| ORCID | 0000-0003-0796-2838 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.jsc.2003.11.004 |
| PageCount | 34 |
| ParticipantIDs | hal_primary_oai_HAL_hal_00069198v1 crossref_primary_10_1016_j_jsc_2003_11_004 crossref_citationtrail_10_1016_j_jsc_2003_11_004 elsevier_sciencedirect_doi_10_1016_j_jsc_2003_11_004 |
| PublicationCentury | 2000 |
| PublicationDate | 2004-09-01 |
| PublicationDateYYYYMMDD | 2004-09-01 |
| PublicationDate_xml | – month: 09 year: 2004 text: 2004-09-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationTitle | Journal of symbolic computation |
| PublicationYear | 2004 |
| Publisher | Elsevier Ltd Elsevier |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier |
| References | Beke (B2) 1894; 45 Katz (B11) 1982; 110 van Hoeij, Weil (B21) 1997; 117–118 Chambert-Loir, A., 2001. Théorèmes d’Algébricité en Géométrie Diophantienne. Séminaire Bourbaki, exposé No. 886, Mars, 2001 Ore (B12) 1932; 168 Giesbrecht (B7) 1998; 24 Abramov, Bronstein, Petkovšek (B1) 1995 van der Put (B16) 1996; 7 Giesbrecht, Zhang (B8) 2003 Singer (B13) 1996; 7 Ulmer, Weil (B14) 1996; 22 van der Put (B17) 2001; 12 Cluzeau (B6) 2003 van der Put (B15) 1995; 97 Chudnovsky, Chudnovsky (B5) 1985; vol. 1135 van der Put, Singer (B18) 2003; vol. 328 van Hoeij (B20) 1997; 24 Boucher, D., 2000. Sur les Équations Différentielles Linéaires aramétrées, une Application aux Systèmes Hamiltoniens. Thèse, Université de Limoges Ince (B10) 1926 van Hoeij (B19) 1997; 24 Honda (B9) 1981; 24 Giesbrecht (10.1016/j.jsc.2003.11.004_B7) 1998; 24 Ulmer (10.1016/j.jsc.2003.11.004_B14) 1996; 22 van der Put (10.1016/j.jsc.2003.11.004_B17) 2001; 12 van der Put (10.1016/j.jsc.2003.11.004_B18) 2003; vol. 328 Abramov (10.1016/j.jsc.2003.11.004_B1) 1995 Honda (10.1016/j.jsc.2003.11.004_B9) 1981; 24 van der Put (10.1016/j.jsc.2003.11.004_B15) 1995; 97 Ince (10.1016/j.jsc.2003.11.004_B10) 1926 Giesbrecht (10.1016/j.jsc.2003.11.004_B8) 2003 Ore (10.1016/j.jsc.2003.11.004_B12) 1932; 168 van Hoeij (10.1016/j.jsc.2003.11.004_B20) 1997; 24 van Hoeij (10.1016/j.jsc.2003.11.004_B21) 1997; 117–118 van der Put (10.1016/j.jsc.2003.11.004_B16) 1996; 7 van Hoeij (10.1016/j.jsc.2003.11.004_B19) 1997; 24 Cluzeau (10.1016/j.jsc.2003.11.004_B6) 2003 Singer (10.1016/j.jsc.2003.11.004_B13) 1996; 7 10.1016/j.jsc.2003.11.004_B3 Chudnovsky (10.1016/j.jsc.2003.11.004_B5) 1985; vol. 1135 10.1016/j.jsc.2003.11.004_B4 Beke (10.1016/j.jsc.2003.11.004_B2) 1894; 45 Katz (10.1016/j.jsc.2003.11.004_B11) 1982; 110 |
| References_xml | – volume: 22 start-page: 179 year: 1996 end-page: 200 ident: B14 article-title: Note on Kovacic’s algorithm publication-title: J. Symbolic Comput. – volume: 110 start-page: 515 year: 1982 end-page: 534 ident: B11 article-title: A conjecture in the arithmetic theory of differential equations publication-title: Bull. Soc. Math. France – volume: 24 start-page: 169 year: 1981 end-page: 204 ident: B9 article-title: Algebraic differential equations publication-title: Sym. Math. – volume: 45 start-page: 278 year: 1894 end-page: 294 ident: B2 article-title: Die Irreduzibilität der homogenen linearen differentialgleichungen publication-title: Math. Ann. – reference: Chambert-Loir, A., 2001. Théorèmes d’Algébricité en Géométrie Diophantienne. Séminaire Bourbaki, exposé No. 886, Mars, 2001 – start-page: 58 year: 2003 end-page: 65 ident: B6 article-title: Factorization of differential systems in characteristic publication-title: Proceedings of ISSAC’03 – volume: 24 start-page: 537 year: 1997 end-page: 561 ident: B20 article-title: Factorization of differential operators with rational functions coefficients publication-title: J. Symbolic Comput. – volume: 24 start-page: 463 year: 1998 end-page: 486 ident: B7 article-title: Factoring in skew-polynomial rings over finite fields publication-title: J. Symbolic Comput. – volume: vol. 328 year: 2003 ident: B18 article-title: Galois theory of linear differential equations publication-title: Grundlehren der mathematischen Wissenschaften – volume: 117–118 start-page: 353 year: 1997 end-page: 379 ident: B21 article-title: An algorithm for computing invariants of differential Galois groups publication-title: J. Pure Appl. Algebra – reference: Boucher, D., 2000. Sur les Équations Différentielles Linéaires aramétrées, une Application aux Systèmes Hamiltoniens. Thèse, Université de Limoges – year: 1995 ident: B1 article-title: On polynomial solutions of linear operator equations publication-title: Proceedings of ISSAC’95 – year: 1926 ident: B10 article-title: Ordinary Differential Equations – volume: vol. 1135 start-page: 52 year: 1985 end-page: 100 ident: B5 article-title: Applications of Pade approximations to the Grothendieck conjecture on linear equations publication-title: Number Theory – volume: 168 start-page: 233 year: 1932 end-page: 252 ident: B12 article-title: Formale theorie der linearen differentialgleichungen (Zweiter Teil) publication-title: J. Reine Angew. Math. – start-page: 127 year: 2003 end-page: 134 ident: B8 article-title: Factoring and decomposing Ore polynomials over publication-title: Proceedings of ISSAC’03 – volume: 7 start-page: 367 year: 1996 end-page: 387 ident: B16 article-title: Reduction modulo publication-title: Indag. Math. (N.S.) – volume: 24 start-page: 1 year: 1997 end-page: 30 ident: B19 article-title: Formal solutions and factorization of differential operators with power series coefficients publication-title: J. Symbolic Comput. – volume: 7 start-page: 77 year: 1996 end-page: 104 ident: B13 article-title: Testing reducibility of linear differential operators: a group theoretic perspective publication-title: J. Appl. Alg. Eng. Comm. Comp. (AAECC) – volume: 12 start-page: 113 year: 2001 end-page: 124 ident: B17 article-title: Grothendieck’s conjecture for the Risch equation publication-title: Indag. Math (N.S.). – volume: 97 start-page: 227 year: 1995 end-page: 251 ident: B15 article-title: Differential equations in characteristic publication-title: Compositio Math. – volume: 168 start-page: 233 year: 1932 ident: 10.1016/j.jsc.2003.11.004_B12 article-title: Formale theorie der linearen differentialgleichungen (Zweiter Teil) publication-title: J. Reine Angew. Math. doi: 10.1515/crll.1932.168.233 – volume: vol. 328 year: 2003 ident: 10.1016/j.jsc.2003.11.004_B18 article-title: Galois theory of linear differential equations – start-page: 127 year: 2003 ident: 10.1016/j.jsc.2003.11.004_B8 article-title: Factoring and decomposing Ore polynomials over Fp(t) – year: 1995 ident: 10.1016/j.jsc.2003.11.004_B1 article-title: On polynomial solutions of linear operator equations – volume: 24 start-page: 169 year: 1981 ident: 10.1016/j.jsc.2003.11.004_B9 article-title: Algebraic differential equations publication-title: Sym. Math. – volume: 22 start-page: 179 year: 1996 ident: 10.1016/j.jsc.2003.11.004_B14 article-title: Note on Kovacic’s algorithm publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1996.0047 – year: 1926 ident: 10.1016/j.jsc.2003.11.004_B10 – ident: 10.1016/j.jsc.2003.11.004_B3 – volume: 24 start-page: 537 year: 1997 ident: 10.1016/j.jsc.2003.11.004_B20 article-title: Factorization of differential operators with rational functions coefficients publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1997.0151 – ident: 10.1016/j.jsc.2003.11.004_B4 – volume: 12 start-page: 113 issue: 1 year: 2001 ident: 10.1016/j.jsc.2003.11.004_B17 article-title: Grothendieck’s conjecture for the Risch equation y′=ay+b publication-title: Indag. Math (N.S.). doi: 10.1016/S0019-3577(01)80009-4 – volume: 110 start-page: 515 year: 1982 ident: 10.1016/j.jsc.2003.11.004_B11 article-title: A conjecture in the arithmetic theory of differential equations publication-title: Bull. Soc. Math. France – start-page: 58 year: 2003 ident: 10.1016/j.jsc.2003.11.004_B6 article-title: Factorization of differential systems in characteristic p – volume: 24 start-page: 463 issue: 5 year: 1998 ident: 10.1016/j.jsc.2003.11.004_B7 article-title: Factoring in skew-polynomial rings over finite fields publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1998.0224 – volume: 117–118 start-page: 353 year: 1997 ident: 10.1016/j.jsc.2003.11.004_B21 article-title: An algorithm for computing invariants of differential Galois groups publication-title: J. Pure Appl. Algebra doi: 10.1016/S0022-4049(97)00018-2 – volume: 45 start-page: 278 year: 1894 ident: 10.1016/j.jsc.2003.11.004_B2 article-title: Die Irreduzibilität der homogenen linearen differentialgleichungen publication-title: Math. Ann. doi: 10.1007/BF01446541 – volume: 7 start-page: 367 issue: 3 year: 1996 ident: 10.1016/j.jsc.2003.11.004_B16 article-title: Reduction modulo p of differential equations publication-title: Indag. Math. (N.S.) doi: 10.1016/0019-3577(96)83726-8 – volume: 24 start-page: 1 year: 1997 ident: 10.1016/j.jsc.2003.11.004_B19 article-title: Formal solutions and factorization of differential operators with power series coefficients publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1997.0110 – volume: vol. 1135 start-page: 52 year: 1985 ident: 10.1016/j.jsc.2003.11.004_B5 article-title: Applications of Pade approximations to the Grothendieck conjecture on linear equations – volume: 97 start-page: 227 year: 1995 ident: 10.1016/j.jsc.2003.11.004_B15 article-title: Differential equations in characteristic p publication-title: Compositio Math. – volume: 7 start-page: 77 issue: 2 year: 1996 ident: 10.1016/j.jsc.2003.11.004_B13 article-title: Testing reducibility of linear differential operators: a group theoretic perspective publication-title: J. Appl. Alg. Eng. Comm. Comp. (AAECC) doi: 10.1007/BF01191378 |
| SSID | ssj0009435 |
| Score | 1.7486775 |
| Snippet | We present a new algorithm for computing exponential solutions of differential operators with rational function coefficients. We use a combination of local and... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 1043 |
| SubjectTerms | Differential equations Exponential solutions Modular algorithms |
| Title | A modular algorithm for computing the exponential solutions of a linear differential operator |
| URI | https://dx.doi.org/10.1016/j.jsc.2003.11.004 https://hal.science/hal-00069198 |
| Volume | 38 |
| WOSCitedRecordID | wos000224866700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1095-855X dateEnd: 20180228 omitProxy: false ssIdentifier: ssj0009435 issn: 0747-7171 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1ba9swFBZpu4e9rF23sd6GGH0aqMSWL9KjKS1pGWWwDvIyjGxL60Jqh-ZC2l_fo5vjhbVsg73YRpFkRefz0TnSuSB0bHw_QKkmcVmGJAKBlvBCJISnFO5CFbSwySbSqys2HPIvvd7C-8Isxmlds-WST_4rqaEMiK1dZ_-C3G2nUADPQHS4Atnh-keEz3R2G2NcKsY_GtD9b26NLWFp8jd47yi5nDS1thTS_iJ-PNZZUgue0NqnTjFVmok05_FPyLLT-9tCBxh2L_nldP90PH-QYr5mjeQ8pwaNdKmVvc-Q34GIWhMrty3mXWNWdkhTEwg7JaAr2nrScleQ5wiL42GX_VLWgRnt8FJQFGlnXQY9Nfktz7fbD6OT0dSEpKQnOiqrzWm8Fkr7qx6UHpPmXKCPJxtoK0xjDtxwK7s4G16uwjVHNjWr_xP-PNxYBq696CmJZuPG780bWeV6B71yhMGZBcdr1JP1Ltr2CTyw4-dv0PcMO6zgFisYsIJbrGDACu5gBbdYwY3CAlus4C5WsMfKW_Tt_Oz6dEBcvg1S0pDPSMX6VKkoCYJKxiIBVZfLpOAi7cOCHvKwDGMJChlVoMMr84knccUDJjkrhP7hHdqsYTzvERYVCOKwfjGV9iMVUFGlKtaqdwgcg1bFHur7OctLF4xe50QZ597qcJTDNOskqRSU1BymeQ99aptMbCSW5ypHnhC5EyWtiJgDap5r9hGI1navQ68Pss-5LtNyHQ84WwT7_9b3AXq5-ngO0ebsbi6P0ItyMfs5vfvgAPgIKg-k0A |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+modular+algorithm+for+computing+the+exponential+solutions+of+a+linear+differential+operator&rft.jtitle=Journal+of+symbolic+computation&rft.au=Cluzeau%2C+Thomas&rft.au=van+Hoeij%2C+Mark&rft.date=2004-09-01&rft.pub=Elsevier+Ltd&rft.issn=0747-7171&rft.eissn=1095-855X&rft.volume=38&rft.issue=3&rft.spage=1043&rft.epage=1076&rft_id=info:doi/10.1016%2Fj.jsc.2003.11.004&rft.externalDocID=S0747717104000276 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0747-7171&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0747-7171&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0747-7171&client=summon |