Functions of ultraexponential and infralogarithm types and general solution of the Abel functional equation

We propose generalized forms of ultraexponential and infralogarithm functions introduced and studied earlier by the author and present two classes of special functions, namely, ultraexponential and infralogarithm f -type functions. As a result of this investigation, we obtain a general solution of the Abel equation α(f(x)) = α (x) + 1 under some conditions on a real function f and prove a new completely different uniqueness theorem for the Abel equation stating that an infralogarithm f -type function is its unique solution. We also show that an infralogarithm f -type function is an essentially unique solution of the Abel equation. Similar theorems are proved for ultraexponential f -type functions and their functional equation β(x) = f(β(x − 1)), which can be considered as dual to the Abel equation. We also solve a certain problem unsolved before and study some properties of two considered functional equations and some relations between them.     

Interpolation of rational functions by simple partial fractions

We study a generalized interpolation of a rational function at n nodes by a simple partial fraction of degree n and reduce the consideration to the solvability question for a special difference equation. We construct explicit interpolation formulas in the case where the equation order is equal to 1. We show that for functions A(x − a) ^m , m ? \mathbbN m \in \mathbb{N} , it is possible to reduce the consideration to a system of m + 1 independent first order equations and construct explicit interpolation formulas. Bibliography: 6 titles.     

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

On the filter of computably enumerable supersets of an r-maximal set

We study the filter ℒ^*(A) of computably enumerable supersets (modulo finite sets) of an r-maximal set A and show that, for some such set A, the property of being cofinite in ℒ^*(A) is still Σ⁰ ₃-complete. This implies that for this A, there is no uniformly computably enumerable “tower” of sets exhausting exactly the coinfinite sets in ℒ^*(A). Received: 6 November 1999 / Revised version: 10 March 2000 /?Published online: 18 May 2001     

A generalized mixed type of quartic–cubic–quadratic–additive functional equations

We determine the general solution of the functional equation f(x + ky) + f(x-ky) = g(x + y) + g(x-y) + h(x) + h(y) for fixed integers with k ≠ 0; ±1 without assuming any regularity conditions for the unknown functions f, g, h, and0020[(h)\tilde] \tilde{h} . The method used for solving these functional equations is elementary but it exploits an important result due to Hosszú. The solution of this functional equation can also be obtained in groups of certain type by using two important results due to Székelyhidi.     

Continuum cardinality of the set of solutions of one class of equations that contain the function of frequency of ternary digits of a number

We study the equation ν ₁(x) = x, where ν ₁(x) is the function of frequency of the digit 1 in the ternary expansion of x. We prove that this equation has a unique rational root and a continuum set of irrational solutions. An algorithm for the construction of solutions is proposed. We also describe the topological and metric properties of the set of all solutions. Some additional facts about the equations ν _i (x) = x, i = 0, 2, are given. Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 10, pp. 1414–1421, October, 2008.     

A two-space dimensional semilinear heat equation perturbed by (Gaussian) white noise

A two-space dimensional heat equation perturbed by a white noise in a bounded volume is considered. The equation is perturbed by a non-linearity of the type λ : f(AU) :, where :: means Wick (re)ordering with respect to the free solution;λ, A are small parameters, U denotes a solution, f is the Fourier transform of a complex measure with compact support. Existence and uniqueness of the solution in a class of Colombeau-Oberguggenberger generalized functions is proven. An explicit construction of the solution is given and it is shown that each term of the expansion in a power series in λ is associated with an L ²-valued measure when A is a small enough. Received: 20 July 1997 / Revised version: 1 February 2001 / Published online: 9 October 2001     

Approximation of potential integral by radial bases for solutions of Helmholtz equation

For a Helmholtz equation Δu(x) + κ ² u(x) = f(x) in a region of R ^s , s ≥ 2, where Δ is the Laplace operator and κ = a + ib is a complex number with b ≥ 0, a particular solution is given by a potential integral. In this paper the potential integral is approximated by using radial bases with the order of approximation derived.      

Unitarily covariant maps in approximately finite-dimensional <Emphasis Type="Italic">C</Emphasis>*-algebras

We consider maps defined on a real space Asa of all self-adjoint elements of a C*-algebra A commuting with the conjugation by unitaries: F(u* au) = u* F(a)u for any a ∈ A _sa, u ∈ (A). In the case where A is a full matrix algebra, there is a functional realization of these maps (in terms of multivariable functions) and analytical properties of these maps can be expressed in terms of corresponding functions. In the present work, these results are generalized to the class of uniformly hyperfinite C*-algebras and to the algebra of all compact operators in a Hilbert space. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 213–227, 2007.     

Numerical approximations and solution techniques for the space-time Riesz–Caputo fractional advection-diffusion equation

In this paper, we consider a space-time Riesz–Caputo fractional advection-diffusion equation. The equation is obtained from the standard advection-diffusion equation by replacing the first-order time derivative by the Caputo fractional derivative of order α ∈ (0,1], the first-order and second-order space derivatives by the Riesz fractional derivatives of order β ₁ ∈ (0,1) and β ₂ ∈ (1,2], respectively. We present an explicit difference approximation and an implicit difference approximation for the equation with initial and boundary conditions in a finite domain. Using mathematical induction, we prove that the implicit difference approximation is unconditionally stable and convergent, but the explicit difference approximation is conditionally stable and convergent. We also present two solution techniques: a Richardson extrapolation method is used to obtain higher order accuracy and the short-memory principle is used to investigate the effect of the amount of computations. A numerical example is given; the numerical results are in good agreement with theoretical analysis.     

Parameter-robust numerical method for a system of singularly perturbed initial value problems

In this work we study a system of M( ≥ 2) first-order singularly perturbed ordinary differential equations with given initial conditions. The leading term of each equation is multiplied by a distinct small positive parameter, which induces overlapping layers. A maximum principle does not, in general, hold for this system. It is discretized using backward Euler difference scheme for which a general convergence result is derived that allows to establish nodal convergence of O(N ^− 1ln N) on the Shishkin mesh and O(N ^− 1) on the Bakhvalov mesh, where N is the number of mesh intervals and the convergence is robust in all of the parameters. Numerical experiments are performed to support the theoretical results.     

On Defining Ideals or Subrings of Hall Algebras

Let A be a finitary algebra over a finite field k, and A- \textmod\text{mod} the category of finite dimensional left A-modules. Let H(A)\mathcal{H}(A) be the corresponding Hall algebra, and for a positive integer r let D _r (A) be the subspace of H(A)\mathcal{H}(A) which has a basis consisting of isomorphism classes of modules in A- \textmod\text{mod} with at least r + 1 indecomposable direct summands. If A is the path algebra of the quiver of type A _n with linear orientation, then D _r (A) is known to be the kernel of the map from the twisted Hall algebra to the quantized Schur algebra indexed by n + 1 and r. For any A, we determine necessary and sufficient conditions for D _r (A) to be an ideal and some conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A). For A the path algebra of a quiver, we also determine necessary and sufficient conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A).     

Homogenization with corrector for a multidimensional periodic elliptic operator near an edge of an inner gap

For a second order differential operator A \mathcal{A} _ε  = −div g(x/ε)∇ + ε ⁻²p(x/ε) in L ₂(ℝ ^d ) with periodic coefficients and small parameter ε > 0 we study an approximation of the resolvent of A \mathcal{A} _ε at a point close to an edge of an inner gap in the spectrum of A \mathcal{A} _ε . Under certain regularity conditions, we construct an approximation (with a first order corrector taken into account) for the resolvent with error estimate of order O(ε ²). We show that a proper effective operator and a proper corrector are associated to each (regular) edge of the gap. Bibliography: 14 titles.     

Finite Schur filtration dimension for modules over an algebra with Schur filtration

Let G = GL _N or SL _N as reductive linear algebraic group over a field k of characteristic p > 0. We prove several results that were previously established only when N ⩽ 5 or p > 2  ^N : Let G act rationally on a finitely generated commutative k-algebra A and let grA be the Grosshans graded ring. We show that the cohomology algebra H ^*(G, grA) is finitely generated over k. If moreover A has a good filtration and M is a Noetherian A-module with compatible G action, then M has finite good filtration dimension and the H ⁱ (G, M) are Noetherian A ^G -modules. To obtain results in this generality, we employ functorial resolution of the ideal of the diagonal in a product of Grassmannians.     

Quasi-<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> norm orthogonal Galerkin expansions in sums of Jacobi polynomials

In the study of differential equations on [ − 1,1] subject to linear homogeneous boundary conditions of finite order, it is often expedient to represent the solution in a Galerkin expansion, that is, as a sum of basis functions, each of which satisfies the given boundary conditions. In order that the functions be maximally distinct, one can use the Gram-Schmidt method to generate a set orthogonal with respect to a particular weight function. Here we consider all such sets associated with the Jacobi weight function, w(x) = (1 − x) ^α (1 + x) ^β . However, this procedure is not only cumbersome for sets of large degree, but does not provide any intrinsic means to characterize the functions that result. We show here that each basis function can be written as the sum of a small number of Jacobi polynomials, whose coefficients are found by imposing the boundary conditions and orthogonality to the first few basis functions only. That orthogonality of the entire set follows—a property we term “auto-orthogonality”—is remarkable. Additionally, these basis functions are shown to behave asymptotically like individual Jacobi polynomials and share many of the latter’s useful properties. Of particular note is that these basis sets retain the exponential convergence characteristic of Jacobi expansions for expansion of an arbitrary function satisfying the boundary conditions imposed. Further, the associated error is asymptotically minimized in an L ^p(α) norm given the appropriate choice of α = β. The rich algebraic structure underlying these properties remains partially obscured by the rather difficult form of the non-standard weighted integrals of Jacobi polynomials upon which our analysis rests. Nevertheless, we are able to prove most of these results in specific cases and certain of the results in the general case. However a proof that such expansions can satisfy linear boundary conditions of arbitrary order and form appears extremely difficult.     

Frobenius Extensions and Tilting Complexes

Let n ≥ 1 be an integer and π a permutation of I = {1, ⋯ ,n}. For any ring R, we provide a systematic construction of rings A which contain R as a subring and enjoy the following properties: (a) 1 = ∑  _i ∈ I e _i with the e _i orthogonal idempotents; (b) e _i x = xe _i for all i ∈ I and x ∈ R; (c) e _i A e _j  ≠ 0 for all i, j ∈ I; (d) e _i A _A  ≇ e _j A _A unless i = j; (e) every e _i Ae _i is a local ring whenever R is; (f) e _i A _A  ≅ Hom _R (Ae _π(i),R _R ) and _A Ae _π(i) ≅  _A Hom _R (e _i A, _R R) for all i ∈ I; and (g) there exists a ring automorphism η ∈ Aut(A) such that η(e _i ) = e _π(i) for all i ∈ I. Furthermore, for any nonempty π-stable subset J of I, the mapping cone of the multiplication map is a tilting complex. Dedicated to Takeshi Sumioka on the occasion of his 60th birthday.     

Geometric computation of the numerical radius of a matrix

We use methods of geometric computing combined with hermitean matrix eigenvalue/eigenvector evaluations to find the numerical radius w(A) of a real or complex square matrix A simply, quickly, and accurately. The numerical radius w(A) is defined as the maximal distance of points in the field of values F(A) = { x^* A x | ||x||₂ = 1 }F(A) = \{ x^* A x \mid \|x\|_2 = 1 \} from zero in ℂ. Its value is an indicator of the transient behavior of the discrete dynamical system f _k + 1 = Af _k . We describe and test a MATLAB code for solving this optimization problem that can have multiple and even infinitely many solutions with maximal distance.     

Approximations of the exponential of an operator with periodic coefficients

We consider the operator exponential e ^−tA , t > 0, where A is a selfadjoint positive definite operator corresponding to the diffusion equation in \mathbbRⁿ {\mathbb{R}^n} with measurable 1-periodic coefficients, and approximate it in the operator norm ||   ·   ||_{L²( \mathbbRⁿ ) ? L²( \mathbbRⁿ )} {\left\| {\; \cdot \;} \right\|_{{{L^2}\left( {{\mathbb{R}^n}} \right) \to {L^2}\left( {{\mathbb{R}^n}} \right)}}} with order O( t ^{- \fracm2} ) O\left( {{t^{{ - \frac{m}{2}}}}} \right) as t → ∞, where m is an arbitrary natural number. To construct approximations we use the homogenized parabolic equation with constant coefficients, the order of which depends on m and is greater than 2 if m > 2. We also use a collection of 1-periodic functions N _α (x), x ? \mathbbRⁿ x \in {\mathbb{R}^n} , with multi-indices α of length | a| \leqslant m \left| \alpha \right| \leqslant m , that are solutions to certain elliptic problems on the periodicity cell. These results are used to homogenize the diffusion equation with ε-periodic coefficients, where ε is a small parameter. In particular, under minimal regularity conditions, we construct approximations of order O(ε ^m ) in the L ²-norm as ε → 0. Bibliography: 14 titles.     

On the First Hitting Time of a One-dimensional Diffusion and a Compound Poisson Process

It is studied the first-passage time (FPT) of a time homogeneous one-dimensional diffusion, driven by the stochastic differential equation dX(t) = μ(X(t))dt + σ(X(t)) dB _t , X(0) = x ₀, through b + Y(t), where b > x ₀ and Y(t) is a compound Poisson process with rate λ > 0 starting at 0, which is independent of the Brownian motion B _t . In particular, the FPT density is investigated, generalizing a previous result, already known in the case when X(t) = μt + B _t , for which the FPT density is the solution of a certain integral equation. A numerical method is shown to calculate approximately the FPT density; some examples and numerical results are also reported.