On simultaneous approximation to (α,α) with α+kα−1=0

We show that the modified Jacobi-Perron algorithm gives the best simultaneous approximation to (α,α²) with α³+kα−1=0. We claim the following facts:

(1)

the limit set of become an ellipse, where (p_n,q_n,r_n) is the nth convergent (p_n/q_n,r_n/q_n) of (α,α²) by the modified Jacobi-Perron algorithm,

(2)

the limit set of belongs to outside of the ellipse in (1).

     

The hyperelliptic integrals and π

Text

A class of hyperelliptic integrals are expressed through hypergeometric functions, like those of Gauss, Lauricella and Appell, namely multiple power series. Whenever they can on their own be reduced to elliptic integrals through an algebraic transformation, we obtain a two-fold representation of the same mathematical object, and then several completely new π determinations through the above special functions and/or Euler integrals. All our π formulae have been successfully tested by means of convenient Mathematica_®'s packages and enter in a wide historical/sound context of π-formulae quite far from being exhausted. Due to their structure, the formulae's practical value does not lie in computing π, but in allowing, through π, a benchmark for computing the involved special functions, particularly those less elementary.

Video

For a video summary of this paper, please visit http://www.youtube.com/watch?v=UHZIHgAeCUc.     

π and the hypergeometric functions of complex argument

Text

In this article we derive some new identities concerning π, algebraic radicals and some special occurrences of the Gauss hypergeometric function ₂F₁ in the analytic continuation. All of them have been derived by tackling some elliptic or hyperelliptic known integral, and looking for another representation of it by means of hypergeometric functions like those of Gauss, Appell or Lauricella. In any case we have focused on integrand functions having at least one couple of complex-conjugate roots. Founding upon a special hyperelliptic reduction formula due to Hermite (1876) [6], π is obtained as a ratio of a complete elliptic integral and the four-variable Lauricella function. Furthermore, starting with a certain binomial integral, we succeed in providing as a ratio of a linear combination of complete elliptic integrals of the first and second kinds to the Appell hypergeometric function of two complex-conjugate arguments. Each of the formulae we found theoretically has been satisfactorily tested by means of Mathematica^®.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=rQqtVtAf-RQ.     

Symmetric duality with (p, r) − ρ − (η, θ)-invexity

In this paper we introduce a new type of generalized invex function, called (p, r) − ρ − (η, θ)-invex function and study symmetric duality results under these assumptions. In our study the nonnegative orthants for the constraints are replaced by closed convex cones and their polars. We establish weak and strong duality theorems under (p, r) − ρ − (η, θ)-invexity assumptions for the symmetric dual problems. We also give many examples to justify our results.     

Domb's numbers and Ramanujan-Sato type series for 1/π

In this article, we construct a general series for . We indicate that Ramanujan's -series are all special cases of this general series and we end the paper with a new class of -series. Our work is motivated by series recently discovered by Takeshi Sato.     

On Tauberian theorems for (A)(C, α) summability method

In this paper we introduce some Tauberian conditions for the (A)(C, α) summability method. These results extend and generalize some of the classical Tauberian theorems for the Abel summability method.     

Notes sur la fonction ζ de Riemann, 4

Opération fondamentale de l'arithmétique, familière depuis des millénaires, la division euclidienne n'a pas livré tous ses secrets. Ainsi, notons pour k et a entiers positifs, le reste de la division euclidienne de k par a, et imaginons un instant que, par un choix convenable d'un entier n et de réels c₂,…,c_n, nous sachions rendre arbitrairement petite la quantité

     

On homotopy rigidity of the functor ΣΩ on co-H-spaces

In this paper we study the homotopy rigidity property of the functors ΣΩ and Ω. Our main result is that both functors are homotopy rigid on simply-connected p-local finite co-H-spaces. The result is obtain by a subtle interplay of homotopy decomposition techniques, modular representation theory and the counting principle.     

Semiconductor final test scheduling with Sarsa(λ, k) algorithm

Semiconductor test scheduling problem is a variation of reentrant unrelated parallel machine problems considering multiple resource constraints, intricate {product, tester, kit, enabler assembly} eligibility constraints, sequence-dependant setup times, etc. A multi-step reinforcement learning (RL) algorithm called Sarsa(λ, k) is proposed and applied to deal with the scheduling problem with throughput related objective. Allowing enabler reconfiguration, the production capacity of the test facility is expanded and scheduling optimization is performed at the bottom level. Two forms of Sarsa(λ, k), i.e. forward view Sarsa(λ, k) and backward view Sarsa(λ, k), are constructed and proved equivalent in off-line updating. The upper bound of the error of the action-value function in tabular Sarsa(λ, k) is provided when solving deterministic problems. In order to apply Sarsa(λ, k), the scheduling problem is transformed into an RL problem by representing states, constructing actions, the reward function and the function approximator. Sarsa(λ, k) achieves smaller mean scheduling objective value than the Industrial Method (IM) by 68.59% and 76.89%, respectively for real industrial problems and randomly generated test problems. Computational experiments show that Sarsa(λ, k) outperforms IM and any individual action constructed with the heuristics derived from the existing heuristics or scheduling rules.     

Applying a non-equilibrium wall function in k–ε turbulent modelling of hydrodynamic circulating flow

Wall bounded flow with severe adverse pressure, separation, reattachment and stagnation has non-equilibrium (NE) exhibition. A wall function in turbulent flow is a remedy to avoid resolving near wall complex phenomena using predetermined functions as boundary conditions. The advantage of this case is permission to use a relatively coarse near wall cells and hence saving CPU time. Standard wall function (SWF) is a semi-empirical function that is just valid for constant shear near wall cell and local equilibrium flow. Popovac and Hanjalic introduced a non-equilibrium wall function as (PWF) with a blending method in v²–f model. To investigate PWF in circulating flow, standard k–ε model that has key role in complex and expensive industrial problems is used in this study. The approach derived by Popovac and Hanjalic retains the functional form of the SWF and can be easily implemented in existing code. Simulation results are validated against direct numerical simulation (DNS) on channel and experimental data on backward facing step (BS) and a sharp U bend flow. Prediction with PWF shows that use of this wall function in k–ε model has not any sensitive change in near equilibrium flow. However, produces an improvement in NE conditions like flow in circulation zones.     

On an Infinite Family in πS

In this paper, a new family of homotopy elements in the stable homotopy groups of spheres represented by

n−2≥m≥5 and 3≤s<p.$n-2\ge m\ge 5\hspace{0.17em}\text{and}\hspace{0.17em}3\le s<p.$

in the Adams spectral sequence is detected, where n − 2 ≥ m ≥ 5 and 3 ≤ s < p.     

Weak solutions to stochastic 3D Navier-Stokes-α model of turbulence: α-Asymptotic behavior

We study the asymptotic behavior of weak solutions to the stochastic 3D Navier-Stokes-α model as α approaches zero. The main result provides a new construction of the weak solutions of stochastic 3D Navier-Stokes equations as approximations by sequences of solutions of the stochastic 3D Navier-Stokes-α model.     

Heat kernel bounds, ancient κ solutions and the Poincaré conjecture

We establish certain Gaussian type upper bound for the heat kernel of the conjugate heat equation associated with 3-dimensional ancient κ solutions to the Ricci flow. As an application, using the W entropy associated with the heat kernel, we give a different and much shorter proof of Perelman's classification of backward limits of these ancient solutions. The method is partly motivated by Cao (2007) [1] and Sesum (2006) [27]. The current paper or Chow and Lu (2004) [6] combined with Chen and Zhu (2006) [4] and Zhang (2009) [31] lead to a simplified proof of the Poincaré conjecture without using reduced distance and reduced volume.     

The Fibonacci sequence modulo π, chaos and some rational recursive equations

In this paper, we provide the closed form solution to the inter-related equations

     

The σ-isotypic decomposition and the σ-index of reversible-equivariant systems

This work is concerned with dynamical systems in presence of symmetries and reversing symmetries. We describe a construction process of subspaces that are invariant by linear Γ-reversible-equivariant mappings, where Γ is the compact Lie group of all the symmetries and reversing symmetries of such systems. These subspaces are the σ-isotypic components, first introduced by Lamb and Roberts in (1999) [10] and that correspond to the isotypic components for purely equivariant systems. In addition, by representation theory methods derived from the topological structure of the group Γ, two algebraic formulae are established for the computation of the σ-index of a closed subgroup of Γ. The results obtained here are to be applied to general reversible-equivariant systems, but are of particular interest for the more subtle of the two possible cases, namely the non-self-dual case. Some examples are presented.     

The ω-Turing degrees

In this paper we initiate the study of the ω-Turing reducibility between sequences of sets of natural numbers. We shall prove that the induced degree structure is an extension of the structure of the Turing degrees and that the two structures are closely connected, but different enough. Further we shall prove some definability results for the local theory of the newly defined structure.     

Smale's α-theory for inexact Newton methods under the γ-condition

The present paper is concerned with the convergence problem of inexact Newton methods. Assuming that the nonlinear operator satisfies the γ-condition, a convergence criterion for inexact Newton methods is established which includes Smale's type convergence criterion. The concept of an approximate zero for inexact Newton methods is proposed in this paper and the criterion for judging an initial point being an approximate zero is established. Consequently, Smale's α-theory is generalized to inexact Newton methods. Furthermore, a numerical example is presented to illustrate the applicability of our main results.