Turbulence modeling in engineering applications

A brief review is given of turbulence models in use today for engineering applications. The main categories covered are simple eddy-viscosity models, the k-ε two-equation model and Reynolds-stress-equation models as well as their algebraic stress derivatives. Calculation examples are presented for a variety of 2D and 3D flows.

Fourier duality as a quantization principle

The Weyl-Wigner prescription for quantization on Euclidean phase spaces makes essential use of Fourier duality. The extension of this property to more general phase spaces requires the use of Kac algebras, which provide the necessary background for the implementation of Fourier duality on general locally compact groups. Kac algebras - and the duality they incorporate - are consequently examined as candidates for a general quantization framework extending the usual formalism. Using as a test case the simplest nontrivial phase space, the half-plane, it is shown how the structures present in the complete-plane case must be modified. Traces, for example, must be replaced by their noncommutative generalizations - weights - and the correspondence embodied in the Weyl-Wigner formalism is no longer complete. Provided the underlying algebraic structure is suitably adapted to each case, Fourier duality is shown to be indeed a very powerful guide to the quantization of general physical systems.

Constrained KP models as integrable matrix hierarchies

We formulate the constrained KP hierarchy (denoted by cKP K+1,M) as an affine sl(M + K+ 1) matrix integrable hierarchy generalizing the Drinfeld-Sokolov hierarchy. Using an algebraic approach, including the graded structure of the generalized Drinfeld-Sokolov hierarchy, we are able to find several new universal results valid for the cKP hierarchy. In particular, our method yields a closed expression for the second bracket obtained through Dirac reduction of any untwisted affine Kac-Moody current algebra. An explicit example is given for the case sl(M + K + 1), for which a closed expression for the general recursion operator is also obtained. We show how isospectral flows are characterized and grouped according to the semisimple non-regular element E of sl(M + K+ 1) and the content of the center of the kernel of E. © 1997 American Institute of Physics.

Probing negative-dimensional integration: Two-loop covariant vertex and one-loop light-cone integrals

The negative-dimensional integration method (NDIM) seems to be a very promising technique for evaluating massless and/or massive Feynman diagrams. It is unique in the sense that the method gives solutions in different regions of external momenta simultaneously. Moreover, it is a technique whereby the difficulties associated with performing parametric integrals in the standard approach are transferred to a simpler solving of a system of linear algebraic equations, thanks to the polynomial character of the relevant integrands. We employ this method to evaluate a scalar integral for a massless two-loop three-point vertex with all the external legs off-shell, and consider several special cases for it, yielding results, even for distinct simpler diagrams. We also consider the possibility of NDIM in non-covariant gauges such as the light-cone gauge and do some illustrative calculations, showing that for one-degree violation of covariance (i.e. one external, gauge-breaking, light-like vector n μ) the ensuing results are concordant with the ones obtained via either the usual dimensional regularization technique, or the use of the principal value prescription for the gauge-dependent pole, while for two-degree violation of covariance - i.e. two external, light-like vectors n μ, the gauge-breaking one, and (its dual) n * μ - the ensuing results are concordant with the ones obtained via causal constraints or the use of the so-called generalized Mandelstam-Leibbrandt prescription. © 1999 Elsevier Science B.V.

Gaussian extended cubature formulae for polyharmonic functions

The purpose of this paper is to show certain links between univariate interpolation by algebraic polynomials and the representation of polyharmonic functions. This allows us to construct cubature formulae for multivariate functions having highest order of precision with respect to the class of polyharmonic functions. We obtain a Gauss type cubature formula that uses ℳ values of linear functional (integrals over hyperspheres) and is exact for all 2ℳ-harmonic functions, and consequently, for all algebraic polynomials of n variables of degree 4ℳ - 1.

An analytical solution to the optimal power flow

This letter presents an approach for a geometrical solution of an optimal power flow (OPF) problem for a two-bus system (slack and PV busses). The algebraic equations for the calculation of the Lagrange multipliers and for the minimum losses value are obtained. These equations are used to validate the results obtained using an OPF program.

Landau and Kolmogoroff type polynomial inequalities II

Let 0 < j < m ≤ n. Kolmogoroff type inequalities of the form ∥f(j)∥2 ≤ A∥f(m)∥ 2 + B∥f∥2 which hold for algebraic polynomials of degree n are established. Here the norm is defined by ∫ f2(x)dμ(x), where dμ(x) is any distribution associated with the Jacobi, Laguerre or Bessel orthogonal polynomials. In particular we characterize completely the positive constants A and B, for which the Landau weighted polynomial inequalities ∥f′∥ 2 ≤ A∥f″∥2 + B∥f∥ 2 hold. © Dynamic Publishers, Inc.

WZW-like action for heterotic string field theory

We complete the construction of the Neveu-Schwarz sector of heterotic string field theory begun in [9] by giving a closed-form expression for the action and gauge transformations. Just as the Wess-Zumino-Witten (WZW) action for open superstring field theory can be constructed from pure-gauge fields in bosonic open string field theory, our heterotic string field theory action is constructed from pure-gauge fields in bosonic closed string field theory. The construction involves a simple alternative form of the WZW action which is consistent with the algebraic structures of closed string field theory. © SISSA/ISAS 2004.

The LQ control problem for Markovian jumps linear systems with horizon defined by stopping times

This paper deals with a stochastic optimal control problem involving discrete-time jump Markov linear systems. The jumps or changes between the system operation modes evolve according to an underlying Markov chain. In the model studied, the problem horizon is defined by a stopping time τ which represents either, the occurrence of a fix number N of failures or repairs (TN), or the occurrence of a crucial failure event (τΔ), after which the system is brought to a halt for maintenance. In addition, an intermediary mixed case for which T represents the minimum between TN and τΔ is also considered. These stopping times coincide with some of the jump times of the Markov state and the information available allows the reconfiguration of the control action at each jump time, in the form of a linear feedback gain. The solution for the linear quadratic problem with complete Markov state observation is presented. The solution is given in terms of recursions of a set of algebraic Riccati equations (ARE) or a coupled set of algebraic Riccati equation (CARE).

Quantum gauge boson propagators in the light front

Gauge fields in the light front are traditionally addressed via, the employment of an algebraic condition n·A = 0 in the Lagrangian density, where Aμ is the gauge field (Abelian or non-Abelian) and nμ is the external, light-like, constant vector which defines the gauge proper. However, this condition though necessary is not sufficient to fix the gauge completely; there still remains a residual gauge freedom that must be addressed appropriately. To do this, we need to define the condition (n·A) (∂·A) = 0 with n·A = 0 = ∂·A. The implementation of this condition in the theory gives rise to a gauge boson propagator (in momentum space) leading to conspicuous nonlocal singularities of the type (k·n)-α where α = 1, 2. These singularities must be conveniently treated, and by convenient we mean not only mathemathically well-defined but physically sound and meaningful as well. In calculating such a propagator for one and two noncovariant gauge bosons those singularities demand from the outset the use of a prescription such as the Mandelstam-Leibbrandt (ML) one. We show that the implementation of the ML prescription does not remove certain pathologies associated with zero modes. However we present a causal, singularity-softening prescription and show how to keep causality from being broken without the zero mode nuisance and letting only the propagation of physical degrees of freedom.

Linear quadratic Gaussian control of discrete-time Markov jump linear systems with horizon defined by stopping times

The linear quadratic Gaussian control of discrete-time Markov jump linear systems is addressed in this paper, first for state feedback, and also for dynamic output feedback using state estimation. in the model studied, the problem horizon is defined by a stopping time τ which represents either, the occurrence of a fix number N of failures or repairs (T N), or the occurrence of a crucial failure event (τ δ), after which the system paralyzed. From the constructive method used here a separation principle holds, and the solutions are given in terms of a Kalman filter and a state feedback sequence of controls. The control gains are obtained by recursions from a set of algebraic Riccati equations for the former case or by a coupled set of algebraic Riccati equation for the latter case. Copyright © 2005 IFAC.

Evaluating residues and integrals through negative dimensional integration method (NDIM)

The standard way of evaluating residues and some real integrals through the residue theorem (Cauchy's theorem) is well-known and widely applied in many branches of Physics. Herein we present an alternative technique based on the negative dimensional integration method (NDIM) originally developed to handle Feynman integrals. The advantage of this new technique is that we need only to apply Gaussian integration and solve systems of linear algebraic equations, with no need to determine the poles themselves or their residues, as well as obtaining a whole class of results for differing orders of poles simultaneously.

On the construction and labelling of geometrically uniform signal sets in ℤ2 matched to additive quotient groups

We establish the conditions under which it is possible to construct signal sets satisfying the properties of being geometrically uniform and matched to additive quotient groups. Such signal sets consist of subsets of signal spaces identified to integers rings ℤ[i] and ℤ[ω] in ℤ2. © 2008 KSCAM and Springer-Verlag.

Potential scenarios for Internet use in the mathematics classroom

Research on the influence of multiple representations in mathematics education gained new momentum when personal computers and software started to become available in the mid-1980s. It became much easier for students who were not fond of algebraic representations to work with concepts such as function using graphs or tables. Research on how students use such software showed that they shaped the tools to their own needs, resulting in an intershaping relationship in which tools shape the way students know at the same time the students shape the tools and influence the design of the next generation of tools. This kind of research led to the theoretical perspective presented in this paper: knowledge is constructed by collectives of humans-with-media. In this paper, I will discuss how media have shaped the notions of problem and knowledge, and a parallel will be developed between the way that software has brought new possibilities to mathematics education and the changes that the Internet may bring to mathematics education. This paper is, therefore, a discussion about the future of mathematics education. Potential scenarios for the future of mathematics education, if the Internet becomes accepted in the classroom, will be discussed. © FIZ Karlsruhe 2009.

Optimal clone identifier based on dynamic rules and process algebra

The rule creation to clone selection in different projects is a hard task to perform by using traditional implementations to control all the processes of the system. The use of an algebraic language is an alternative approach to manage all of system flow in a flexible way. In order to increase the power of versatility and consistency in defining the rules for optimal clone selection, this paper presents the software OCI 2 in which uses process algebra in the flow behavior of the system. OCI 2, controlled by an algebraic approach was applied in the rules elaboration for clone selection containing unique genes in the partial genome of the bacterium Bradyrhizobium elkanii Semia 587 and in the whole genome of the bacterium Xanthomonas axonopodis pv. citri. Copyright© (2009) by the International Society for Research in Science and Technology.