| EPSRC Reference: |
EP/I037474/1 |
| Title: |
Computer Algebra for Linear Boundary Problems |
| Principal Investigator: |
Rosenkranz, Dr M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Maths Statistics & Actuarial Sci |
| Organisation: |
University of Kent |
| Scheme: |
First Grant - Revised 2009 |
| Starts: |
24 April 2012 |
Ends: |
23 April 2014 |
Value (£): |
99,957
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Numerical Analysis |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
24 May 2011
|
Mathematics Prioritisation Panel Meeting May 2011
|
Announced
|
|
|
Summary on Grant Application Form |
Boundary problems are arguably the most popular models for describing
nature and society. They combine a generic part (the differential
equation) with a specific part (the boundary conditions). The generic
part typically describes a law of nature or similar principle by
analysing how small changes in one quantity cause small changes in
another (measured by differential quotients). A typical example is
given by Fourier's law of heat transfer in a solid material, relating
small changes in temperature to small changes in heat energy. Since
differential equations apply uniformly to large classes of situations,
additional data is needed for mastering any particular situation, for
example heat transfer in an iron slab of a particular shape with a
particular control mechanism (like cooling) at its boundary. This is
why the specific part is called a boundary problem: It is typically
determined by the shape of a boundary and the values of certain
quantities of interest (like a uniformly cool temperature) on this
boundary.
Due to their enormous importance in applications, there is a rich
arsenal of computational methods for solving boundary
problems. However, virtually all of these methods are based on
numerical approximation. This is fully acceptable for the applied
scientist who is mostly interested in the numerical description (and
visualisation) of key quantities. For the mathematical fine analysis
it is often more advantageous to have an exact or symbolic
solution. Also parameter dependence can be studied most efficiently in
this manner.
Despite their great importance, boundary problems are rather neglected
in symbolic computation, both in theory and in practise. The deeper
reason for this is that the algebraic treatment of boundary problems
does not fit into the common frameworks (notably a branch called
differential algebra and differential Galois theory) used for the
symbolic treatment of differential equations. It is the aim of this
project to extend and generalise such algebraic frameworks to cover
boundary problems, specifically those for linear partial differential
equations.
Symbolic methods for boundary problems are not meant to compete with
numerical methods; in fact, class of the boundary problems amenable to
exact solutions is rather restricted. But symbolic methods are not
only good for solving boundary problems, they can also effect various
other operations. The ultimate goal of our research on boundary
problems is thus to achieve a tight interaction with numerical
methods: We want to analyse / manipulate / decompose boundary problems
symbolically and solve the atomic chunks numerically. In this project
we focus on the following symbolic operations: decompose higher-order
problems into lower-order ones, transform a given problem to a simpler
geometry, explore situations of solvable model problems, and combine
exact solutions.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.kent.ac.uk |