47 resultados para Riemann invariants

em Bulgarian Digital Mathematics Library at IMI-BAS


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We define Picard cycles on each smooth three-sheeted Galois cover C of the Riemann sphere. The moduli space of all these algebraic curves is a nice Shimura surface, namely a symmetric quotient of the projective plane uniformized by the complex two-dimensional unit ball. We show that all Picard cycles on C form a simple orbit of the Picard modular group of Eisenstein numbers. The proof uses a special surface classification in connection with the uniformization of a classical Picard-Fuchs system. It yields an explicit symplectic representation of the braid groups (coloured or not) of four strings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 33D60, 26A33, 33C60

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 35A15, 44A15, 26A33

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mathematics Subject Classification: 42A38, 42C40, 33D15, 33D60

Relevância:

20.00% 20.00%

Publicador:

Resumo:

AMS Subject Classification 2010: 11M26, 33C45, 42A38.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 16R10, 16R30.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: Primary 20F55, 13F20; Secondary 14L30.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Riemann’s memoir is devoted to the function π(x) defined as the number of prime numbers less or equal to the real and positive number x. This is really the fact, but the “main role” in it is played by the already mentioned zeta-function.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

2010 Mathematics Subject Classification: 35Q15, 31A25, 37K10, 35Q58.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Research partially supported by a grant of Caja de Ahorros del Mediterraneo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Let C = (C, g^1/4 ) be a tetragonal curve. We consider the scrollar invariants e1 , e2 , e3 of g^1/4 . We prove that if W^1/4 (C) is a non-singular variety, then every g^1/4 ∈ W^1/4 (C) has the same scrollar invariants.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A strictly hyperbolic quasi-linear 2×2 system in two independent variables with C2 coefficients is considered. The existence of a simple wave solution in the sense that the solution is a 2-dimensional vector-valued function of the so called Riemann invariant is discussed. It is shown, through a purely geometrical approach, that there always exists simple wave solution for the general system when the coefficients are arbitrary C^2 functions depending on both, dependent and independent variables.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

2000 Mathematics Subject Classification: 26A33 (main), 44A40, 44A35, 33E30, 45J05, 45D05