Monotone method for singular BVP in the presence of upper and lower solutions

In this paper we examine existence of monotone approximations of solutions of singular boundary value problem -(p(x)y^′(x))^′=q(x)f(x,y,py^′) for 0<x?b and lim_x→0⁺p(x)y^′(x)=0,α₁y(b)+β₁p(b)y^′(b)=γ₁. Under quite general conditions on f(x,y,py^′) we show that solution of the singular two point boundary value problem is unique. Here is allowed to have integrable singularity at x=0 and we do not assume .     

Existence-uniqueness results for a class of singular boundary value problems-II

In this paper we establish existence-uniqueness of solution of a class of singular boundary value problem −(p(x)y^′′(x))=q(x)f(x,y) for 0<x?b and y(0)=a, α₁y(b)+β₁y^′(b)=γ₁, where p(x) satisfies (i) p(x)>0 in (0,b), (ii) p(x)∈C¹(0,r), and for some r>b, (iii) is analytic in and q(x) satisfies (i) q(x)>0 in (0,b), (ii) q(x)∈L¹(0,b) and for some r>b, (iii) is analytic in with quite general conditions on f(x,y). Region for multiple solutions have also been determined.     

Spike solutions of a nonlinear Schrödinger equation with degenerate potential

We study the existence of positive solutions to the elliptic equation ε²Δu(x,y)−V(y)u(x,y)+f(u(x,y))=0 for (x,y) in an unbounded domain subject to the boundary condition u=0 whenever is nonempty. Our potential V depends only on the y variable and is a bounded or unbounded domain which may coincide with . The positive parameter ε is tending to zero and our solutions u_ε concentrate along minimum points of the unbounded manifold of critical points of V.     

Brouwer's degree without properness

A degree deg(f,y) is defined for every continuous function , which possesses all the properties of Brouwer's degree provided that y is restricted to the complement of some closed set A(f) of “asymptotic” values. Sufficient conditions are given for A(f) to be nowhere dense. It is also shown that, in the opposite direction, A(f) having nonempty interior has a direct impact on the solutions of f(x)=y, which cannot be discovered by degree arguments.     

A non-linear structure preserving matrix method for the low rank approximation of the Sylvester resultant matrix

A non-linear structure preserving matrix method for the computation of a structured low rank approximation of the Sylvester resultant matrix S(f,g) of two inexact polynomials f=f(y) and g=g(y) is considered in this paper. It is shown that considerably improved results are obtained when f(y) and g(y) are processed prior to the computation of , and that these preprocessing operations introduce two parameters. These parameters can either be held constant during the computation of , which leads to a linear structure preserving matrix method, or they can be incremented during the computation of , which leads to a non-linear structure preserving matrix method. It is shown that the non-linear method yields a better structured low rank approximation of S(f,g) and that the assignment of f(y) and g(y) is important because may be a good structured low rank approximation of S(f,g), but may be a poor structured low rank approximation of S(g,f) because its numerical rank is not defined. Examples that illustrate the differences between the linear and non-linear structure preserving matrix methods, and the importance of the assignment of f(y) and g(y), are shown.     

A note on harmonic quasiconformal mappings

In this note we show that a harmonic quasiconformal mapping f=u+iv with respect to the Poincaré metric of the upper half plane onto itself such that v(x,y)=v(y) or u(x,y)=u(x) is a conformal mapping.     

Fixed points of asymptotic contractions

Let be a contractive gauge function in the sense that φ is continuous, φ(s)<s for s>0, and if f:M→M satisfies d(f(x),f(y))?φ(d(x,y)) for all x,y in a complete metric space (M,d), then f always has a unique fixed point. It is proved that if T:M→M satisfies

     

Nonwandering set of points of skew-product maps with base having closed set of periodic points

The aim of the present paper is to study the structure of the nonwandering set of points Ω() for the skew-product maps of the unit square , (x,y)→(f(x),g(x,y)), with base f having closed set of periodic points. For every and every point (x,y) with x periodic of period p_x by f and y not chain recurrent of F^p_x|_Ix, where , we prove that (x,y)Ω(F). On the other hand we construct a map with an isolated fixed point x₀ of f and y₀Ω(F|_Ix0) such that (x₀,y₀)Ω(F₀).     

Generalized convexity and inequalities

Let R₊=(0,∞) and let M be the family of all mean values of two numbers in R₊ (some examples are the arithmetic, geometric, and harmonic means). Given m₁,m₂∈M, we say that a function is (m₁,m₂)-convex if f(m₁(x,y))?m₂(f(x),f(y)) for all x,y∈R₊. The usual convexity is the special case when both mean values are arithmetic means. We study the dependence of (m₁,m₂)-convexity on m₁ and m₂ and give sufficient conditions for (m₁,m₂)-convexity of functions defined by Maclaurin series. The criteria involve the Maclaurin coefficients. Our results yield a class of new inequalities for several special functions such as the Gaussian hypergeometric function and a generalized Bessel function.     

Gauges of Baire class one functions

Let K be a compact metric space and be a bounded Baire class one function. We proved that for any ε>0 there exists an upper semicontinuous positive function δ of f with finite oscillation index and |f(x)−f(y)|<ε whenever d(x,y)<min{δ(x),δ(y)}.     

Distance-two labelings of digraphs

For positive integers j?k, an L(j,k)-labeling of a digraph D is a function f from V(D) into the set of nonnegative integers such that |f(x)-f(y)|?j if x is adjacent to y in D and |f(x)-f(y)|?k if x is of distance two to y in D. Elements of the image of f are called labels. The L(j,k)-labeling problem is to determine the -number of a digraph D, which is the minimum of the maximum label used in an L(j,k)-labeling of D. This paper studies -numbers of digraphs. In particular, we determine -numbers of digraphs whose longest dipath is of length at most 2, and -numbers of ditrees having dipaths of length 4. We also give bounds for -numbers of bipartite digraphs whose longest dipath is of length 3. Finally, we present a linear-time algorithm for determining -numbers of ditrees whose longest dipath is of length 3.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

Integers with dense divisors

Let 1=d₁(n)<d₂(n)<?<d_τ(n)=n be the sequence of all positive divisors of the integer n in increasing order. We say that the divisors of n are y-dense iff max_1?i<τ(n)d_i+1(n)/d_i(n)?y. Let D(x,y,z) be the number of positive integers not exceeding x whose divisors are y-dense and whose prime divisors are bigger than z, and let , and . We show that is equivalent, in a large region, to a function d(u,v) which satisfies a difference-differential equation. Using that equation we find that d(u,v)?(1−u/v)/(u+1) for v?3+ε. Finally, we show that d(u,v)=e^−γd(u)+O(1/v), where γ is Euler's constant and d(u)∼x⁻¹D(x,y,1), for fixed u. This leads to a new estimate for d(u).     

Modular metric spaces, I: Basic concepts

The notion of a modular is introduced as follows. A (metric) modular on a set X is a function w:(0,∞)×X×X→[0,∞] satisfying, for all x,y,z∈X, the following three properties: x=y if and only if w(λ,x,y)=0 for all λ>0; w(λ,x,y)=w(λ,y,x) for all λ>0; w(λ+μ,x,y)≤w(λ,x,z)+w(μ,y,z) for all λ,μ>0. We show that, given x₀∈X, the set X_w={x∈X:lim_λ→∞w(λ,x,x₀)=0} is a metric space with metric , called a modular space. The modular w is said to be convex if (λ,x,y)?λw(λ,x,y) is also a modular on X. In this case X_w coincides with the set of all x∈X such that w(λ,x,x₀)<∞ for some λ=λ(x)>0 and is metrizable by . Moreover, if or , then ; otherwise, the reverse inequalities hold. We develop the theory of metric spaces, generated by modulars, and extend the results by H. Nakano, J. Musielak, W. Orlicz, Ph. Turpin and others for modulars on linear spaces.     

Asymptotically stable sets and the stability of ω-limit sets

Let C be the collection of continuous self-maps of the unit interval I=[0,1] to itself. For f∈C and x∈I, let ω(x,f) be the ω-limit set of f generated by x, and following Block and Coppel, we take Q(x,f) to be the intersection of all the asymptotically stable sets of f containing ω(x,f). We show that Q(x,f) tells us quite a bit about the stability of ω(x,f) subject to perturbations of either x or f, or both. For example, a chain recurrent point y is contained in Q(x,f) if and only if there are arbitrarily small perturbations of f to a new function g that give us y as a point of ω(x,g). We also study the structure of the map Q taking (x,f)∈I×C to Q(x,f). We prove that Q is upper semicontinuous and a Baire 1 function, hence continuous on a residual subset of I×C. We also consider the map given by x?Q(x,f), and find that this map is continuous if and only if it is a constant map; that is, only when the set is a singleton.     

Multivariate weighted renewal functions

Let (X,Y),(X₁,Y₁),(X₂,Y₂),… denote independent positive random vectors with common distribution function F(x,y)=P(X?x,Y?y) with F(x,y)<1 for all x,y. Based on the X_i and the Y_j we construct the sum sequences and respectively. For a double sequence of weighting constants {b(n,m)} we associate a weighted renewal function G(x,y) defined as . The function G(x,y) can be expressed in terms of well-known renewal quantities. The main goal of this paper is to study asymptotic properties of G(x,y). In the one-dimensional case such results have been obtained among others by Omey and Teugels [Weighted renewal functions: a hierarchical approach, Adv. in Appl. Probab. 34 (2002) 394-415.] and Alsmeyer [Some relations between harmonic renewal measures and certain first passage times, Statist. Probab. Letters 12 (1991) 19-27; On generalized renewal measures and certain first passage times, Ann. Probab. 20 (1992) 1229-1247]. Here we prove a multivariate version of the elementary renewal theorem and moreover we obtain a rate of convergence result in this elementary renewal theorem. We close the paper with an application and some concluding remarks. For convenience we prove and formulate the results in the two-dimensional case only.     

A non-separable solution of the diffusion equation based on the Galerkin’s method using cubic splines

The two dimensional diffusion equation of the form is considered in this paper. We try a bi-cubic spline function of the form as its solution. The initial coefficients C_i,j(0) are computed simply by applying a collocation method; C_i,j = f(x_i, y_j) where f(x, y) = u(x, y, 0) is the given initial condition. Then the coefficients C_i,j(t) are computed by X(t) = e^tQX(0) where X(t) = (C_0,1, C_0,1, C_0,2, … , C_0,N, C_1,0, … , C_N,N) is a one dimensional array and the square matrix Q is derived from applying the Galerkin’s method to the diffusion equation. Note that this expression provides a solution that is not necessarily separable in space coordinates x, y. The results of sample calculations for a few example problems along with the calculation results of approximation errors for a problem with known analytical solution are included.