BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jacques-Arthur Weil

Jacques-Arthur Weil contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CASymbolic Computationmath.AGmath.DSData Structures and Algorithmsmath.RTnlin.SIquant-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2020arXiv

Reduced Forms of Linear Differential Systems and the Intrinsic Galois-Lie Algebra of Katz

Generalizing the main result of [Aparicio-Monforte A., Compoint E., Weil J.-A., J. Pure Appl. Algebra 217 (2013), 1504-1516], we prove that a linear differential system is in reduced form in the sense of Kolchin and Kovacic if and only if any differential module in an algebraic construction admits a constant basis. Then we derive an explicit version of this statement. We finally deduce some properties of the Lie algebra of Katz's intrinsic Galois group.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields

We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational first integrals can be computed via systems of linear equations instead of systems of quadratic equations. This leads to a probabilistic algorithm with arithmetic complexity $\bigOsoft(N^{2 ω})$ and to a deterministic algorithm solving the problem in $\bigOsoft(d^2N^{2 ω+1})$ arithmetic operations, where $N$ denotes the given bound for the degree of the rational first integral, and where $d \leq N$ is the degree of the vector field, and $ω$ the exponent of linear algebra. We also provide a fast heuristic variant which computes a rational first integral, or fails, in $\bigOsoft(N^{ω+2})$ arithmetic operations. By comparison, the best previous algorithm uses at least $d^{ω+1}\, N^{4ω+4}$ arithmetic operations. We then show how to apply a similar method to the computation of Darboux polynomials. The algorithms are implemented in a Maple package which is available to interested readers with examples showing its efficiency.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Characterization of Reduced Forms of Linear Differential Systems

A differential system $[A] : \; Y'=AY$, with $A\in \mathrm{Mat}(n, \bar{k})$ is said to be in reduced form if $A\in \mathfrak{g}(\bar{k})$ where $\mathfrak{g}$ is the Lie algebra of the differential Galois group $G$ of $[A]$. In this article, we give a constructive criterion for a system to be in reduced form. When $G$ is reductive and unimodular, the system $[A]$ is in reduced form if and only if all of its invariants (rational solutions of appropriate symmetric powers) have constant coefficients (instead of rational functions). When $G$ is non-reductive, we give a similar characterization via the semi-invariants of $G$. In the reductive case, we propose a decision procedure for putting the system into reduced form which, in turn, gives a constructive proof of the classical Kolchin-Kovacic reduction theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Reduction Method for Higher Order Variational Equations of Hamiltonian Systems

Let $\mathbf{k}$ be a differential field and let $[A]\,:\,Y'=A\,Y$ be a linear differential system where $A\in\mathrm{Mat}(n\,,\,\mathbf{k})$. We say that $A$ is in a reduced form if $A\in\mathfrak{g}(\bar{\mathbf{k}})$ where $\mathfrak{g}$ is the Lie algebra of $[A]$ and $\bar{\mathbf{k}}$ denotes the algebraic closure of $\mathbf{k}$. We owe the existence of such reduced forms to a result due to Kolchin and Kovacic \cite{Ko71a}. This paper is devoted to the study of reduced forms, of (higher order) variational equations along a particular solution of a complex analytical hamiltonian system $X$. Using a previous result \cite{ApWea}, we will assume that the first order variational equation has an abelian Lie algebra so that, at first order, there are no Galoisian obstructions to Liouville integrability. We give a strategy to (partially) reduce the variational equations at order $m+1$ if the variational equations at order $m$ are already in a reduced form and their Lie algebra is abelian. Our procedure stops when we meet obstructions to the meromorphic integrability of $X$. We make strong use both of the lower block triangular structure of the variational equations and of the notion of associated Lie algebra of a linear differential system (based on the works of Wei and Norman in \cite{WeNo63a}). Obstructions to integrability appear when at some step we obtain a non-trivial commutator between a diagonal element and a nilpotent (subdiagonal) element of the associated Lie algebra. We use our method coupled with a reasoning on polylogarithms to give a new and systematic proof of the non-integrability of the Hénon-Heiles system. We conjecture that our method is not only a partial reduction procedure but a complete reduction algorithm. In the context of complex Hamiltonian systems, this would mean that our method would be an effective version of the Morales-Ramis-Simó theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Reduced Form for Linear Differential Systems and its Application to Integrability of Hamiltonian Systems

Let $[A]: Y'=AY$ with $A\in \mathrm{M}_n (k)$ be a differential linear system. We say that a matrix $R\in {\cal M}_{n}(\bar{k})$ is a {\em reduced form} of $[A]$ if $R\in \mathfrak{g}(\bar{k})$ and there exists $P\in GL_n (\bar{k})$ such that $R=P^{-1}(AP-P')\in \mathfrak{g}(\bar{k})$. Such a form is often the sparsest possible attainable through gauge transformations without introducing new transcendants. In this article, we discuss how to compute reduced forms of some symplectic differential systems, arising as variational equations of hamiltonian systems. We use this to give an effective form of the Morales-Ramis theorem on (non)-integrability of Hamiltonian systems.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Galoisian Approach to integrability of Schrödinger Equation

In this paper, we examine the non-relativistic stationary Schrödinger equation from a differential Galois-theoretic perspective. The main algorithmic tools are pullbacks of second order ordinary linear differential operators, so as to achieve rational function coefficients ("algebrization"), and Kovacic's algorithm for solving the resulting equations. In particular, we use this Galoisian approach to analyze Darboux transformations, Crum iterations and supersymmetric quantum mechanics. We obtain the ground states, eigenvalues, eigenfunctions, eigenstates and differential Galois groups of a large class of Schrödinger equations, e.g. those with exactly solvable and shape invariant potentials (the terms are defined within). Finally, we introduce a method for determining when exact solvability is possible.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Effective descent for differential operators

A theorem of N. Katz \cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$, which has an isotypical decomposition over the algebraic closure of $k$, is a tensor product $L=M\otimes_k N$ of an absolutely irreducible operator $M$ over $k$ and an irreducible operator $N$ over $k$ having a finite differential Galois group. Using the existence of the tensor decomposition $L=M\otimes N$, an algorithm is given in \cite{C-W}, which computes an absolutely irreducible factor $F$ of $L$ over a finite extension of $k$. Here, an algorithmic approach to finding $M$ and $N$ is given, based on the knowledge of $F$. This involves a subtle descent problem for differential operators which can be solved for explicit differential fields $k$ which are $C_1$-fields.

0 citations0 reviewsNo code linkedOpen access