Decomposer and associative functional equations

In the previous researches [2,3] b-integer and b-decimal parts of real numbers were introduced and studied by M.H. Hooshmand. The b-parts real functions have many interesting number theoretic explanations, analytic and algebraic properties, and satisfy the functional equation f (f(x) + y - f(y)) = f(x). These functions have led him to a more general topic in semigroups and groups (even in an arbitrary set with a binary operation [4] and the following functional equations have been introduced: Associative equations:

f(xf(yz))=f(f(xy)z),f(xf(yz))=f(f(xy)z)=f(xyz)

. Decomposer equations:

f(f^*(x)f(y))=f(y),f(f(x)f_*(y))=f(x)

.Strong decomposer equations:

f(f^*(x)y)=f(y),f(xf_*(y))=f(x)

.Canceler equations:

f(f(x)y)=f(xy),f(xf(y))=f(xy),f(xf(y)z)=f(xyz)

, where f^*(x) f(x) = f (x) f_* (x) = x. In this paper we solve them and introduce the general solution of the decomposer and strong decomposer equations in the sets with a binary operation and semigroups respectively and also associative equations in arbitrary groups. Moreover we state some equivalent equations to them and study the relations between the above equations. Finally we prove that the associative equations and the system of strong decomposer and canceler equations do not have any nontrivial solutions in the simple groups.     

On existence of singular solutions

In the paper sufficient conditions are given under which the differential equation y⁽ⁿ⁾=f(t,y,…,y⁽ⁿ⁻²⁾)g(y⁽ⁿ⁻¹⁾) has a singular solution y :[T,τ)→R, τ<∞ fulfilling

     

Local convergence of some iterative methods for generalized equations

We study generalized equations of the following form:

(render)

0f(x)+g(x)+F(x),

where f is Fréchet differentiable in a neighborhood of a solution x^* of (*) and g is Fréchet differentiable at x^* and where F is a set-valued map acting in Banach spaces. We prove the existence of a sequence (x_k) satisfying

which is super-linearly convergent to a solution of (*). We also present other versions of this iterative procedure that have superlinear and quadratic convergence, respectively.     

Bounds on margin distributions in learning problems

Let be a probability space and let P_n be the empirical measure based on i.i.d. sample (X₁,…,X_n) from P. Let be a class of measurable real valued functions on For define F_f(t):=P{ft} and F_n,f(t):=P_n{ft}. Given γ(0,1], define _n,γ(δ):=1/(n^1−γ/2δ^γ). We show that if the L₂(P_n)-entropy of the class grows as ^−α for some α(0,2), then, for all and all δ(0,Δ_n), Δ_n=O(n^1/2),

and

where and c(σ)↓1 as σ↓0 (the above inequalities hold for any fixed σ(0,1] with a high probability). Also, define

Then for all

uniformly in and with probability 1 (for the above ratio is bounded away from 0 and from ∞). The results are motivated by recent developments in machine learning, where they are used to bound the generalization error of learning algorithms. We also prove some more general results of similar nature, show the sharpness of the conditions and discuss the applications in learning theory.     

Representations for the first associated q-classical orthogonal polynomials

Let {p_k(x; q)} be any system of the q-classical orthogonal polynomials, and let be the corresponding weight function, satisfying the q-difference equation D_q(σ)=τ, where σ and τ are polynomials of degree at most 2 and exactly 1, respectively. Further, let {p_k⁽¹⁾(x;q)} be associated polynomials of the polynomials {p_k(x; q)}. Explicit forms of the coefficients b_n,k and c_n,k in the expansions

are given in terms of basic hypergeometric functions. Here _k(x) equals x^k if σ⁺(0)=0, or (x;q)_k if σ⁺(1)=0, where σ⁺(x)σ(x)+(q−1)xτ(x). The most important representatives of those two classes are the families of little q-Jacobi and big q-Jacobi polynomials, respectively.Writing the second-order nonhomogeneous q-difference equation satisfied by p_n−1⁽¹⁾(x;q) in a special form, recurrence relations (in k) for b_n,k and c_n,k are obtained in terms of σ and τ.     

Positive solutions for Robin problem involving the -Laplacian

Consider Robin problem involving the p(x)-Laplacian on a smooth bounded domain Ω as follows

Applying the sub-supersolution method and the variational method, under appropriate assumptions on f, we prove that there exists λ_*>0 such that the problem has at least two positive solutions if λ(0,λ_*), has at least one positive solution if λ=λ_*<+∞ and has no positive solution if λ>λ_*. To prove the results, we prove a norm on W^1,p(x)(Ω) without the part of ||_L^p(x)(Ω) which is equivalent to usual one and establish a special strong comparison principle for Robin problem.     

The asymptotic behavior of nonoscillatory solutions of nonlinear neutral type difference equations

In this paper, the authors study the asymptotic behavior of solutions of second-order neutral type difference equations of the form

Δ²(y_n+py_n−k)+f(n,y_n−ℓ)=0,n

, n ε, and

Δ²(y_n+py_n−k)+f(n,y_n−ℓ,Δy_n−ℓ)=0,n

,n ε using some difference inequalities. We establish conditions under which all nonoscillatory solutions are asymptotic to an + b as n → ∞ with a and b ε .     

On stability of a cubic functional equation in intuitionistic fuzzy normed spaces

In this paper, we determine some stability results concerning the cubic functional equation

f(2x+y)+f(2x-y)=2f(x+y)+2f(x-y)+12f(x)

in intuitionistic fuzzy normed spaces (IFNS). We define the intuitionistic fuzzy continuity of the cubic mappings and prove that the existence of a solution for any approximately cubic mapping implies the completeness of IFNS.     

A connection between a generalized Pascal matrix and the hypergeometric function

The n × n generalized Pascal matrix P(t) whose elements are related to the hypergeometric function ₂F₁(a, b; c; x) is presented and the Cholesky decomposition of P(t) is obtained. As a result, it is shown that

Full-size image

is the solution of the Gauss's hypergeometric differential equation,

x(1 − x)y″ + [1 + (a + b − 1)x]y′ − ABY = 0

. where a and b are any nonnegative integers. Moreover, a recurrence relation for generating the elements of P(t) is given.     

On weighted Lebesgue function type sums

Let I be a finite or infinite interval and dμ a measure on I. Assume that the weight function w(x)>0, w^′(x) exists, and the function w^′(x)/w(x) is non-increasing on I. Denote by ℓ_k's the fundamental polynomials of Lagrange interpolation on a set of nodes x₁<x₂<<x_n in I. The weighted Lebesgue function type sum for 1≤i<j≤n and s≥1 is defined by

In this paper the exact lower bounds of S_n(x) on a “big set” of I and are obtained. Some applications are also given.     

Renorming of and the fixed point property

For any , let P_k denote the natural projections on ℓ₁. Let |||||| be an equivalent norm of ℓ₁ that satisfies all of the following four conditions:

(1) There are α>4 and a positive (decreasing) sequence (α_n) in (0,1) such that for any normalized block basis {f_n} of (ℓ₁,||||||) and xℓ₁ with P_k−1(x)=x and |||x|||<α_k,

(2) There are two strictly decreasing sequences {β_k} and {γ_k} with

such that for any normalized block basis {f_n} of (ℓ₁,||||||) and x with (I−P_k)(x)=x,

(3) For any , I−P_k=1.

(4) The unit ball of (ℓ₁,||||||) is σ(ℓ₁,c₀)-closed.

In this article, we prove that the space (ℓ₁,||||||) has the fixed point property for the nonexpansive mapping. This improves a previous result of the author.

Hardy–Sobolev critical elliptic equations with boundary singularities

Unlike the non-singular case s=0, or the case when 0 belongs to the interior of a domain Ω in (n3), we show that the value and the attainability of the best Hardy–Sobolev constant on a smooth domain Ω,

when 0<s<2, , and when 0 is on the boundary ∂Ω are closely related to the properties of the curvature of ∂Ω at 0. These conditions on the curvature are also relevant to the study of elliptic partial differential equations with singular potentials of the form:

where f is a lower order perturbative term at infinity and f(x,0)=0. We show that the positivity of the sectional curvature at 0 is relevant when dealing with Dirichlet boundary conditions, while the Neumann problems seem to require the positivity of the mean curvature at 0.     

DIRICHLET PROBLEMS FOR STATIONARY VON NEUMANN-LANDAU WAVE EQUATIONS

In this article, we are concerned with the Dirichlet problem of the stationary von Neumann-Landau wave equation：
{（-△x＋△y）φ（x,y）=0,x,y∈Ω
φ｜δΩxδΩ=f
where Ω is a bounded domain in R^n. By introducing anti-inner product spaces, we show the existence and uniqueness of the generalized solution for the above Dirichlet problem by functional-analytic methods.     

Quadrature formulae connected to σ-orthogonal polynomials

Let dλ(t) be a given nonnegative measure on the real line , with compact or infinite support, for which all moments exist and are finite, and μ₀>0. Quadrature formulas of Chakalov–Popoviciu type with multiple nodes

where σ=σ_n=(s₁,s₂,…,s_n) is a given sequence of nonnegative integers, are considered. A such quadrature formula has maximum degree of exactness d_max=2∑_ν=1ⁿs_ν+2n−1 if and only if

The proof of the uniqueness of the extremal nodes τ₁,τ₂,…,τ_n was given first by Ghizzetti and Ossicini (Rend. Mat. 6(8) (1975) 1–15). Here, an alternative simple proof of the existence and the uniqueness of such quadrature formulas is presented. In a study of the error term R(f), an influence function is introduced, its relevant properties are investigated, and in certain classes of functions the error estimate is given. A numerically stable iterative procedure, with quadratic convergence, for determining the nodes τ_ν, ν=1,2,…,n, which are the zeros of the corresponding σ-orthogonal polynomial, is presented. Finally, in order to show a numerical efficiency of the proposed procedure, a few numerical examples are included.     

Remark on a double-inequality for the Riemann zeta function

Let ζ be the Riemann zeta function and δ(x)=1/(2^x-1). For all x>0 we have

(1-δ(x))ζ(x)+αδ(x)<ζ(x+1)<(1-δ(x))ζ(x)+βδ(x),

with the best possible constant factors

This improves a recently published result of Cerone et al., J. Inequalities Pure Appl. Math. 5(2) (43) (2004), who showed that the double-inequality holds with and .     

RELATIVE WIDTH OF SMOOTH CLASSES OF MULTIVARIATE PERIODIC FUNCTIONS WITH RESTRICTIONS ON ITERATED LAPLACE DERIVATIVES IN THE L2-METRIC

For two subsets W and V of a Banach space X, let Kn(W, V, X) denote the relative Kolmogorov n-width of W relative to V defined by Kn (W, V, X) := inf sup Ln f∈W g∈V∩Ln inf ‖f-g‖x,where the infimum is taken over all n-dimensional linear subspaces Ln of X. Let W2(△r) denote the class of 2w-periodic functions f with d-variables satisfying ∫[-π,π]d |△rf(x)|2dx ≤ 1,while △r is the r-iterate of Laplace operator △. This article discusses the relative Kolmogorov n-width of W2(△r) relative to W2(△r) in Lq([-r, πr]d) (1 ≤ q ≤∞), and obtain its weak asymptotic result.     

A new regularized method for two dimensional nonhomogeneous backward heat problem

We consider the problem of finding, from the final data u(x,y,T)=g(x,y), the initial data u(x,y,0) of the temperature function u(x,y,t),(x,y)I=(0,π)×(0,π),t[0,T] satisfying the following system

The problem is severely ill-posed. In this paper a simple and convenient new regularization method for solving this problem is considered. Meanwhile, some quite sharp error estimates between the approximate solution and exact solution are provided. A numerical example also shows that the method works effectively.     

The asymptotic behavior of the solutions of the Cauchy problem generated by -accretive operators

The purpose of this paper is to study the asymptotic behavior of the solutions of certain type of differential inclusions posed in Banach spaces. In particular, we obtain the abstract result on the asymptotic behavior of the solution of the boundary value problem

where Ω is a bounded open domain in with smooth boundary ∂Ω, f(t,x) is a given L¹-function on ]0,∞[×Ω, γ1 and 1p<∞. Δ_p represents the p-Laplacian operator, is the associated Neumann boundary operator and β a maximal monotone graph in with 0β(0).     

Error estimates for a class of quadrature formulae

The problem considered is that of estimating the error of a class of quadrature formulae for _–1 ¹ w _r (x)f(x)dx, (w _r (x) being a positive weight-function), where only values off(x) in (–1,1) and off(x) and its derivatives at the end-points of the interval are considered.     

Solution and stability of generalized mixed type cubic, quadratic and additive functional equation in quasi-Banach spaces

In this paper, we achieve the general solution and the generalized Hyers–Ulam–Rassias stability of the following functional equation

f(x+ky)+f(x−ky)=k²f(x+y)+k²f(x−y)+2(1−k²)f(x)