Reach Us
+44-1522-440391

Medical, Pharma, Engineering, Science, Technology and Business

**Alexander BRUDNYI**

Department of Mathematics and Statistics, University of Calgary,

2500 University Drive NW, T1N 1N4 Calgary, Canada

E-mail: [email protected]

**Received date:** December 14, 2007; **Revised date:**March 07, 2008

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

The classical Poincar´e Center-Focus problem asks about the characterization of planar polynomial vector fields such that all their integral trajectories are closed curves whose interiors contain a fixed point, a center. This problem is reduced to a center problem for certain ODE . We present an algebraic approach to the center problem based on the study of the group of paths determined by the coefficients of the ODE.

We describe an algebraic approach to the center problem for the ordinary differential equation(1.1)with coefficients ai from the Banach spaceof bounded measurable complex-valued functions on *I _{T}* equipped with the supremum norm. Condition guarantees that (1.1) has Lipschitz solutions on

One of the main objects of our approach is a metrizable topological group *G(X)* determined by the coefficients of equations (1.1) (the, so-called, group of paths in It is defined as follows.

Let us consider *X* as a semigroup with the operations given for

where for

Let be the vector space of sequences of complex numbers equipped with the product topology. For we denote a path in starting at 0. The one-to-one map sends the product to the product of paths that is, the path obtained by translating so that its beginning meets the end ofeb and then forming the composite path. Similarly,is

the path obtained by translating so that its end meets 0 and then taking it with the opposite orientation.

Forconsider the *basic iterated integrals*

(2.1)

By the Ree shuffle formula the linear space generated by all such functions on *X* is an algebra. For we write if all basic iterated integrals vanish at Then if and only

if for all basic iterated integrals, see [1]. In particular, ~ is an equivalence relation on *X.* By *G(X*) we denote the set of equivalence classes. Then *G(X)* is a group with the product induced by the product * on X. By we denote the map determined by the equivalence relation. By the definition each iterated integral I· is constant on fibres of π and therefore it determines a function on G(X) such that I· = The functions are referred to as iterated integrals on G(X). These functions separate the points on G(X).

Next, we equip *G(X)* with the weakest topology in which all basic iterated integralsare continuous. Then (*G(X*),)is a topological group. Moreover, *G(X)* is metrizable, contractible, residually torsion free nilpotent (i.e., finite dimensional unipotent representations of* G(X)* separate the points on *G(X))* and is the union of an increasing sequence of compact subsets, see [2].

By *G _{f} (X)* we denote the completion of

Let be the associative algebra with unit *I* of complex noncommutative polynomials in *I* and free noncommutative variables (i.e., there are no nontrivial relations between these variables).we denote the associative algebra of formal power series in t with coefficients from be the multiplicative semigroup generated by Consider a grading function determined by the conditions

This splits *S* in a disjoint union we denote the subalgebra of series *f* of the form(3.1)

We equip *A* with the weakest topology in which all coefficients in (3.1) considered as functions in are continuous. Since the set of these functions is countable, *A* is metrizable. Moreover, if *d* is a metric on *A* compatible with the topology, then (*A, d*) is a complete metric space. Also, by the definition the multiplication is continuous in this topology

By we denote the closed subset of elements f of form (3.1) with is a topological group. Its Lie algebra consists of elements f of form (3.1) with* f _{0} = 0*. is a homeomorphism.

Further, for an element consider the equation(3.2)

This can be solved by Picard iteration to obtain a solution whose coefficients in expansion in and *t* are Lipschitz functions on *I _{T}* . We set (3.3)

By the definition we have (3.4)

Also, an explicit calculation leads to the formula (3.5)

From the last formula one obtains that there is a homomorphism such that that is,(3.6)

Formula (3.6) shows that is a continuous embedding. Moreover, one can determine a metric d_{1} on A compatible with topology such that is an

isometric embedding. Therefore is naturally extended to a continuous embedding (denoted also by) By definition, is an injective homomorphism of topological

groups and is the closure of in the topology of *G*.

In what follows we identify *G(X)* and *G _{f} (X)* with their images under

Recall that each element can be written as We say that g is a Lie element if each *g _{n}* belongs to the free Lie algebra generated by In this case each

Let be the subspace of elements *g _{n}* of form (4.1). Then (4.2)

where the sum is taken over all numbers that divide n, and is the Mobius function.

By we denote the subset of L_{ie} elements of Then is a closed (in the topology of A) Lie subalgebra of The following result was proved in [3].

**Theorem 4.1.*** The exponential map exp : maps homeomorphically onto*

Thus can be regarded as the Lie algebra of

Let be the algebra of formal complex power series in z. By D, L : we denote the differentiation and the left translation operators defined on (5.1)

Let *A(D,L*) be the associative algebra with unit I of complex polynomials in *I, D and L*. By *A(D,L)[[t]] *we denote the associative algebra of formal power series in t with coefficients from *A(D,L)*. Also, by *G _{0}(D,L)[[t]]* we denote the group of invertible elements of

Further, consider equation (1.1) corresponding to an

(5.2)

Using a linearization of (5.2) we associate to this equation the following system of *ODEs*:

(5.3)

Solving (5.3) by Picard iteration we obtain a solution whose coefficients in the series expansion in *D,L* and t are Lipschitz functions on *I _{T}* It was established

in [1] that (5.2) determines a center if and only if This implies the following result, see [3].

**Theorem 5.1***. We have*

(5.4)

where is a complex polynomial of degree k defined by the formula

Let be the set of formal complex power series be such that coefficient in the series expansion of *f*. We equip with the weakest topology in which all d_{i} are continuous functions and consider the multiplication defined by the composition of series. Then s a separable topological group.

Moreover, it is contractible and residually torsion free nilpotent. By we denote the subgroup of power series locally convergent near 0 equipped with the induced topology. Next, we define the map (5.5)

Then Moreover, let be the Lipschitz solution of equation (5.2) with initial value v(0; r; a) = r. Clearly for every we have It is proved in [1] that is the first return map of (5.2)). In particular, we have (5.6)

Also, (5.5) implies that there is a continuous homomorphism such that is the quotient map). We extend it by continuity toretaining the same symbol for the extension. Then is a normal subgroup ofwe denote its closure in This group is called the* group of formal centers* C of equation (1.1).

**Theorem 5.2** *([3]).The Lie algebraconsists of elements *

such that

I*n particular, the map exp : is a homeomorphism*

For further results and open problems we refer to papers [1]–[3] and references therein.

- BrudnyiA (2006)On the center problem for ordinary differential equations. Amer. J Math 128: 419-451.
- BrudnyiA (2004)An algebraic model for the center problem. Bull Sci Math 128: 839-857.
- BrudnyiA, Formal paths, iterated integrals and the center problem for ordinary differential equations.BullSci Math (to be published).

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11705** - [From(publication date):

September-2008 - Jan 18, 2019] - Breakdown by view type
- HTML page views :
**7932** - PDF downloads :
**3773**

Peer Reviewed Journals

International Conferences 2019-20