• Skip to main content
  • Skip to after header navigation
  • Skip to site footer
ERN: Emerging Researchers National Conference in STEM

ERN: Emerging Researchers National Conference in STEM

  • About
    • About AAAS
    • About the NSF
    • About the Conference
    • Partners/Supporters
    • Project Team
  • Conference
  • Abstracts
    • Undergraduate Abstract Locator
    • Graduate Abstract Locator
    • Abstract Submission Process
    • Presentation Schedules
    • Abstract Submission Guidelines
    • Presentation Guidelines
  • Travel Awards
  • Resources
    • Award Winners
    • Code of Conduct-AAAS Meetings
    • Code of Conduct-ERN Conference
    • Conference Agenda
    • Conference Materials
    • Conference Program Books
    • ERN Photo Galleries
    • Events | Opportunities
    • Exhibitor Info
    • HBCU-UP/CREST PI/PD Meeting
    • In the News
    • NSF Harassment Policy
    • Plenary Session Videos
    • Professional Development
    • Science Careers Handbook
    • Additional Resources
    • Archives
  • Engage
    • Webinars
    • ERN 10-Year Anniversary Videos
    • Plenary Session Videos
  • Contact Us
  • Login

Discrete Boundary Problems via Integro-differential Algebra

Undergraduate #90
Discipline: Mathematics and Statistics
Subcategory: Mathematics and Statistics

Sieu Tran - Virginia Polytechnic Institute and State University
Co-Author(s): Markus Rosenkranz, University of Kent, Canterbury, England Daniel Orr, Virginia Polytechnic Institute and State University, Blacksburg, VA



The notion of integro-differential algebra was introduced in [Rosenkranz, M. and Regensburger, G.: Solving and Factoring Boundary Problems for Linear Ordinary Differential Equations in Differential Algebras, J. Symbolic Comput., 2008(43/8), pp. 515544] to facilitate the algebraic study of boundary problems for linear ordinary differential equations. In this report, we construct a discrete analog in order to investigate boundary problems for difference equations. We restrict ourselves to the standard setting (F, ∆, ∑), where ∆: (fk) ↦ (fk+1 − fk) is the forward difference operator and ∑: (fk) ↦, accord ingly the left Riemann sum. We work here with sequences f: ℤ → ℂ, which we write in the variable k. Key properties of the (discrete) integro-differential algebra are proven, including the discrete analog of the variation-of-constants formula. Our next goal is to build up an algorithmic structure for specifying difference equations as well as the boundary conditions, and to solve them via integro-differential operators. We have written the relations between these operators in the form of rewrite rules, and we prove that the resulting reduction system is Noetherian and confluent. Thus, it corresponds to a noncommutative Grӧbner basis for the relation ideal of the operator ring. We derive the normal forms modulo this reduction system. Let F be a commutative K-algebra with f, g ∈ F and Φ be the set of all characters with φ, ψ ∈ Φ. We show that every discrete operator in FΦ [∆, ∑] can be reduced to a linear combination of monomials f φ ∑ g ψ ∆i, where i ≤ 0 and each of f, φ, g, ∑, and ψ may also be absent. Additionally, every boundary condition of |Φ), denoting the right ideal of Φ, has the normal form with aφ, i ∈ K and f ∈ F almost all zero. Finally, we always have the direct decomposition FΦ[∆,∑] = F[∆] ⊕ F[∑]⊕ (Φ), where (Φ) is a left F module. Using these ingredients and a given fundamental system of the difference operator, we construct a solution algorithm for linear boundary problems over a discrete ordinary integro-differential algebra (this algorithm closely resembles the corresponding algorithm for differential equations). We conclude with an example that might be called a discrete analog of an ill-posed boundary problem from which we extract its Green’s function.

Funder Acknowledgement(s): N/A

Faculty Advisor: Daniel Orr,

Sidebar

Abstract Locators

  • Undergraduate Abstract Locator
  • Graduate Abstract Locator

This material is based upon work supported by the National Science Foundation (NSF) under Grant No. DUE-1930047. Any opinions, findings, interpretations, conclusions or recommendations expressed in this material are those of its authors and do not represent the views of the AAAS Board of Directors, the Council of AAAS, AAAS’ membership or the National Science Foundation.

AAAS

1200 New York Ave, NW
Washington,DC 20005
202-326-6400
Contact Us
About Us

  • LinkedIn
  • Facebook
  • Instagram
  • Twitter
  • YouTube

The World’s Largest General Scientific Society

Useful Links

  • Membership
  • Careers at AAAS
  • Privacy Policy
  • Terms of Use

Focus Areas

  • Science Education
  • Science Diplomacy
  • Public Engagement
  • Careers in STEM

Focus Areas

  • Shaping Science Policy
  • Advocacy for Evidence
  • R&D Budget Analysis
  • Human Rights, Ethics & Law

© 2023 American Association for the Advancement of Science