On the value function in constrained control of Markov chains

It is known that the value function in an unconstrained Markov decision process with finitely many states and actions is a piecewise rational function in the discount factor a, and that the value function can be expressed as a Laurent series expansion about = 1 for close enough to 1. We show in this paper that this property also holds for the value function of Markov decision processes with additional constraints. More precisely, we show by a constructive proof that there are numbers O = _o <₁ <... < _m–1 < _m = 1 such that for everyj = 1, 2, ...,m – 1 either the problem is not feasible for all discount factors in the open interval (_j–1, _j) or the value function is a rational function in a in the closed interval [_j–1, _j]. As a consequence, if the constrained problem is feasible in the neighborhood of = 1, then the value function has a Laurent series expansion about = 1. Our proof technique for the constrained case provides also a new proof for the unconstrained case.     

Latteninterpolation bei einer Funktion von zwei Veränderlichen

Summary In each lattice point , of a rectangular net a numerical valueu is given. A bicubical and twice continuously differentiable function is constructed interpolating the valuesu . The method is known as «spline interpolation».     

On the dispersion spectrum

A measure for the denseness of sequences (an) mod 1, irrational, is the dispersion constantD() introduced byH. Niederreiter. In this paper the smallest accumulation point ₁ of the set of theD() is determined and all those are explicitely given for whichD () < ₁ holds.     

Sturmian Words and the Permutation that Orders Fractional Parts

A Sturmian word is a map W : {0,1} for which the set of {0, 1}-vectors F _n(W) {(W(i), W(i + 1),...,W(i + n – 1)) ^T : i } has cardinality exactly n + 1 for each positive integer n. Our main result is that the volume of the simplex whose n + 1 vertices are the n + 1 points in F _n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation _,n (where is any irrational and n is any positive integer) that orders the fractional parts {}, {2},...,{n}, i.e., 0 < {_,n (1)} < {_,n (2)} < ··· < {_,n (n)} < 1. We give a formula for the sign of _,n , and prove that for every irrational there are infinitely many n such that the order of _,n (as an element of the symmetric group S _n) is less than n.     

Fractional integrodifferentiation in Hölder classes of arbitrary order

Hölder classes of variable order (x) are introduced and it is shown that the fractional integralI ₀₊ has Hölder order (x)+ (0 < , ₊, +₊ < 1, ₊ = sup (x)).     

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.     

Remarks on some classes of Fourier coefficients

In this paper equivalent classes of the classes M' and S' _{p r}, p >1, 0,r {0,1,2,...,[]} defined by Sheng [5] are obtained. Then it is shown that the classes of Fourier coefficients S _p, S' _p(case r==0) and S _p(), p>1, defined by . V. Stanojevi, V. B. Stanojevi Sheng and the author of the present note are identical. As a corollary of this result, the L ¹-estimate for cosine series, obtained in [10], is refined.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

Parabolic subgroups of twisted Chevalley groups over a semilocal ring

It is shown that, under minor additional assumptions, the standard parabolic subgroups of a Chevalley group G (, R) of twisted type =A_l,l odd, D_l, E₆ over a commutative semilocal ring R with involution are in one-to-one correspondence with the -invariant parabolic nets of ideals of R of type , i.e., with the sets, of ideals of R such that: (l) whenever; (2) = for all ; (3) =R for > 0. For Chevalley groups of normal types, analogous results were obtained in Ref. Zh. Mat. 1976, 10A151; 1977, 10A 301; 1978, 6A476.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 21–36, 1979.     

Similarity solutions of radially symmetric two-phase flow

When both the diffusivityD and fractional flow functionf have a power law dependence on the water content , i.e.D=D _o andf=⁺¹, the nonlinear transport equation for radially symmetric two phase flow can, in certain circumstances, be reduced to a weakly coupled system of two first order nonlinear ordinary differential equations. Numerical solutions of these equations for a constant flux boundary conditionV _wo and comparison with experimental data are given. In particular, when the fluxV _wo and a are related byV _wo( + 1)/D _o=2, a new fully explicit analytical solution is found as (r, t)=(1 – r ²/4D _ot)^1/ forr ² < 4D _ot/ and (r, t)=0 forr ² 4D _ot/ We show that the existence of this exact soution is due to the presence of a Lagrangian symmetry.     

On ηα-groups and fields

Let :=. The following are known: two -sets of power are isomorphic. Let >0. Two ordered divisible Abelian groups that are -sets of power are isomorphic, two real closed fields that are -sets of power are isomorphic. The following is shown: (1) there exist 2 nonisomorphic ordered Abelian groups (respectively ordered fields) that are -sets of power ; (2) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) of power all having the same order type; (3) there exist 2 nonisomorphic ordered divisible Abelian groups (respectively real closed fields) that are -sets having the same order type.     

A remark on fixed points of functors in topological categories

For a topological category over Set we prove that if a functor T: has a fixed cardinal (i.e. for each object K with card (UK)= we have card (UTK)), then T has a least fixed point, and if T has a successive pair of fixed cardinals and ⁺, then T has a greatest fixed point. This extends results of Adámek and Koubek.Partial financial support of the Grant Agency of the Czech Republic under Grant No. 201/93/0950 is gratefully acknowledged.     

Applications of Rellich's perturbation theory to a classical boundary and eigenvalue problem

Zusammenfassung Mit Hilfe der Rellichschen Störungstheorie wird die analytische Abhängigkeit der Lösungen eines Randwert- und eines Eigenwertproblems gezeigt, sowie des tiefsten Eigenwertes ₁() von einem Parameter , der in den Randbedingungen auftritt.Als Anwendung ergeben sich Schranken für das Energieintegral und ₁(). Ferner wird die Definition der RobinfunktionR(P, Q; ) erweitert auf negative Werte von , insbesondere singuläre Werte –p _j .

---

---

Neu-Technikum Buchs     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

Some isoperimetric norm bounds for the first eigenfunction of wedge-like membranes

Zusammenfassung Das Ziel dieser Arbeit ist die Konstruktion von unteren und oberen Schranken für _D hu dx dy mith=r sin . Dabei istu die erste Eigenfunktion einer auf dem Rande gebundenen Membran, deren Gebiet vollständig im Winkel 0/ liegt. Am Schluss der Arbeit werden zwei einfache Beispiele vorgeschlagen.

---

Résumé L'objet de cet article est de construire des bornes inférieures et supérieures pour _D hu dx dy avech=r sin , et oùu est la première fonction propre d'une membrane vibrante fixée sur son contour D, complètement contenu dans l'angle 0/. Comme conclusion, deux applications simples sont présentées.

---

---

This research was supported by the Swiss Nationalfonds.     

On lower bounds for polynomials in the values of E-functions

The paper considers polynomials in ,f₁(),...,f_s(), where is an algebraic number satisfying certain conditions and f₁(z),...,f_s(z) are some E-functions, algebraically independent over the field of rational functions. Explicit lower bounds in terms of the heights of and the polynomial are obtained for the absolute values of these polynomials. The result is proved by using the method of Siegel and idlovskii.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Some extensions of the principles of idealization transfer and choice in the relative internal set theory

The results established in this paper are in connection with the Relative Internal Set Theory (R.I.S.T.). The main result is the general principle of choice: Let be a level and let (x, y) be anexternalbounded formula of the language of R.I.S.T.. Suppose that to each elementx, dominated by , corresponds an elementy _x such that (x, y _x ) holds, then there exists a function of choice such that, which is a very general principle of choice, for everyx dominated by , (x, (x)) holds. More than that, we establish that if all the elementsy _x are uniformly dominated by a level then we can prescribe that the function of choice is also dominated by .     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.