Related papers: Delaunay variables approach to the elimination of …
The non-linearities of the dynamics of Earth artificial satellites are encapsulated by two formal integrals that are customarily computed by perturbation methods. Standard procedures begin with a Hamiltonian simplification that removes…
In linear inverse problems, we have data derived from a noisy linear transformation of some unknown parameters, and we wish to estimate these unknowns from the data. Separable inverse problems are a powerful generalization in which the…
The frozen-perigee behavior of elliptic orbits at the critical inclination is usually displayed after an averaging procedure. However, this singularity in Artificial Satellite Theory manifests also in the presence of short-period effects.…
Brouwer's solution to the artificial satellite problem is revisited to show that the complete Hamiltonian reduction is rather achieved in the plain Poincar\'e's style, through a single canonical transformation, than using a sequence of…
The long-term dynamics of perturbed Keplerian motion is usually analyzed in simplified models as part of the preliminary design of artificial satellites missions. It is commonly approached by averaging procedures that deal with literal…
We present new results on the classical algorithm of variable elimination, which underlies many algorithms including for probabilistic inference. The results relate to exploiting functional dependencies, allowing one to perform inference…
The analytic and formal solutions to a family of singularly perturbed partial differential equations in the complex domain involving two complex time variables are considered. The analytic continuation properties of the solution of an…
Nonlinear systems of partial differential equations (PDEs) may permit several distinct solutions. The typical current approach to finding distinct solutions is to start Newton's method with many different initial guesses, hoping to find…
Context. Analytical and numerical analysis of the SimpleX radiative transfer algorithm, which features transport on a Delaunay triangulation. Aims. Verify whether the SimpleX radiative transfer algorithm conforms to mathematical…
We study a deflation method to reduce and to solve linear dfferential-algebraic equations (DAEs). It consists to define a sequence of DAEs with index reduction of one unit by step. This is simultaneously performed by substitution and…
We consider reduction of dimension for nonlinear dynamical systems. We demonstrate that in some cases, one can reduce a nonlinear system of equations into a single equation for one of the state variables, and this can be useful for…
Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…
We construct a space-time parallel method for solving parabolic partial differential equations by coupling the Parareal algorithm in time with overlapping domain decomposition in space. The goal is to obtain a discretization consisting of…
A nonlinear algebraic equation system of 5 variables is numerically solved, which is derived from the application of the Fourier transform to a differential equation system that allows modeling the behavior of the temperatures and the…
We improve the complex number identity proving method to a fully automated procedure, based on elimination ideals. By using declarative equations or rewriting each real-relational hypothesis $h_i$ to $h_i-r_i$, and the thesis $t$ to $t-r$,…
Interpolating unstructured data using barycentric coordinates becomes infeasible at high dimensions due to the prohibitive memory requirements of building a Delaunay triangulation. We present a new algorithm to construct ad-hoc simplices…
A popular intermediary in the theory of artificial satellites is obtained after the elimination of parallactic terms from the J2-problem Hamiltonian. The resulting quasi-Keplerian system is in turn converted into the Kepler problem by a…
This article proposes modifications of the Parareal algorithm for its application to higher index differential algebraic equations (DAEs). It is based on the idea of applying the algorithm to only the differential components of the equation…
We introduce a new technique for imaging the polarized radio sky using interferometric data. The new approach, which we call Faraday synthesis, combines aperture and rotation measure synthesis imaging and deconvolution into a single…
The question of finding solutions to given implicit differential equations (IDE) has been answered by several authors in the last few years, using different approaches, in an algebraic and also a geometric setting. Many of those results…