A general class of fuzzy operators,the demorgan class of fuzzy operators and fuzziness measures induced by fuzzy operators

In this paper we examine operators which can be derived from the general solution of functional equations on associativity. We define the characteristics of those functions f(x) which are necessary for the production of operators. We shall show, that with the help of the negation operator for every such function f(x) a function g(x) can be given, from which a disjunctive operator can be derived, and for the three operators the DeMorgan identity is fulfilled. For the fulfillment of the DeMorgan identity the necessary and sufficient conditions are given.We shall also show that an f_λ(x) can be constructed for every f(x), so that for the derived k_λ(x,y) and d_λ(x,y) lim_λ→∞k_λ(x,y) and lim_λ→∞d_λ(x,y) = max(x,y).As Yager's operator is not reducible, for every λ there exists an α, for which, in case x < α and y<α, k_λ(x,y) = 0.We shall give an f(x) which has the characteristics of Yager's operator, and which is strictly monotone.Finally we shall show, that with the help of all those f(x), which are necessary when constructing a k(x,y), an F(x) can be constructed which has the properties of the measures of fuzziness introduced by A. De Luca and S. Termini. Some classical fuzziness measures are obtained as special cases of our system.     

Remarks on large solutions of a class of semilinear elliptic equations

In this paper, we show existence, uniqueness and exact asymptotic behavior of solutions near the boundary to a class of semilinear elliptic equations −Δu=λg(u)−b(x)f(u) in Ω, where λ is a real number, b(x)>0 in Ω and vanishes on ∂Ω. The special feature is to consider g(u) and f(u) to be regularly varying at infinity and b(x) is vanishing on the boundary with a more general rate function. The vanishing rate of b(x) determines the exact blow-up rate of the large solutions. And the exact blow-up rate allows us to obtain the uniqueness result.     

Existence of pseudo-almost automorphic solutions for nonlinear differential equations

In this paper, we discuss the existence of pseudo-almost automorphic solutions to linear differential equation which has an exponential trichotomy~ and the results also hold for some nonlinear equations with the form x＇（t） = f（t,x（t）） ＋ λg（t,x（t））, where f,g are pseudo-almost automorphic functions. We prove our main result by the application of Leray-Schauder fixed point theorem.     

Stability of the geometric Ekeland variational principle: Convex case

In geometric terms, the Ekeland variational principle says that a lower-bounded proper lower-semicontinuous functionf defined on a Banach spaceX has a point (x ₀,f(x ₀)) in its graph that is maximal in the epigraph off with respect to the cone order determined by the convex coneK _λ = {(x, α) ∈X × ?:λ ∥x∥ ≤ ? α}, where λ is a fixed positive scalar. In this case, we write (x ₀,f(x ₀))∈λ-extf. Here, we investigate the following question: if (x ₀,f(x ₀))∈λ-extf, wheref is a convex function, and if 〈f _n 〉 is a sequence of convex functions convergent tof in some sense, can (x ₀,f(x ₀)) be recovered as a limit of a sequence of points taken from λ-extf _n ? The convergence notions that we consider are the bounded Hausdorff convergence, Mosco convergence, and slice convergence, a new convergence notion that agrees with the Mosco convergence in the reflexive setting, but which, unlike the Mosco convergence, behaves well without reflexivity.     

The extended gamma class and applications

The gamma class Γ _α (g) consists of positive and measurable functions that satisfy f(x+yg(x))/f(x)→exp(αy). In most cases, the auxiliary function g is Beurling varying, i.e. g(x)/x→0 and g∈Γ₀(g). Taking h=logf, we find that h∈EΓ _α (g,1), where EΓ _α (g,a) is the class of ultimately positive and measurable functions that satisfy (f(x+yg(x))?f(x))/a(x)→αy. In this paper, we discuss local uniform convergence for functions in the classes Γ _α (g) and EΓ _α (g,a). From this we obtain several representation theorems. We also prove some higher order relations for functions in the classes Γ _α (g) and EΓ _α (g,a). Some applications conclude the paper.     

On the precise growth, covering, and distortion theorems for normalized biholomorphic mappings

In this paper, we consider a normalized biholomorphic mapping f(x) defined on the unit ball in a complex Banach space, where the origin 0 is a zero of order k+1 of f(x)−x. The precise growth and covering theorem for f(x) is obtained when f(x) is a starlike mapping or a starlike mapping of order α. Especially, the precise growth and covering theorem for f(x) is also established when f(x) is a quasi-convex mapping. Moreover, the precise distortion theorem for f(x) is given when f(x) is a convex mapping. Our result includes many known results.     

On a general family of nonautonomous elliptic and parabolic equations

We consider the parabolic equation u _t ? Δu = λ f (x)g(u) as well as the corresponding elliptic problem, with a nonnegative profile f and a positive nondecreasing convex function g verifying ${\lim_{u \to 1^-} g(u) = \infty}$ . Our study is motivated by a simplified Micro-Electromechanical Systems (MEMS) device model. We extend or improve many qualitative and quantitative results for the MEMS modeling to this very general setting, which help us to understand more about the influence of f on the pull-in voltage λ* and the quenching phenomenon. Especially, we show some new estimates for λ* and the quenching time T.     

On singular integrals depending on three parameters

In this paper we will prove the pointwise convergence of L(f; x, y, λ) to f(x₀, y₀), as (x, y, λ) tends to (x₀, y₀, λ₀) in the space L_2π, by the three parameter family of singular operators. In contrast to previous works, the kernel function is radial.     

Uniqueness properties in finite-continuous additive measurement

Let ? be a binary relation on A×X, and suppose that there are real valued functions f on A and g on X such that, for all ax, by ∈ A×X, ax ? by if and only if f (a)+g(x) ? f(b)+g(y). This paper establishes uniqueness properties for f and g when A is a finite set, X is a real interval with g increasing on X, and for any a, b and x there is a y for which f(a)+g(x)=f(b)+g(y). The resultant uniqueness properties occupy an intermediate position among uniqueness properties for other structural cases of two-factor additive measurement.It is shown that f is unique up to a positive affine transformation (αf+β₁ with α > 0), but that g is unique up to a similar positive affine transformation (αg+β₂) if and only if the ratio [f(a)?f(b)]/[f(a)?f(c)] is irrational for some a, b, c ∈ A. When the f ratios are rational for all cases where they are defined, there will be a half-open interval (x₀, x₁) in X such that the restriction of g on (x₀, x₁) can be any increasing function for which sup {g(x)?g(x₀): x₀ ? x < x₁} does not exceed a specified bound, and, when g is thus defines on (x₀, x₁), it will be uniquely determined on the rest of X. In general, g must be continuous only in the ‘irrational’ case.     

Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals

This paper studies the representation of a positive polynomial f(x) on a noncompact semialgebraic set S={x∈Rⁿ:g₁(x)≥0,…,g_s(x)≥0} modulo its KKT (Karush-Kuhn-Tucker) ideal. Under the assumption that the minimum value of f(x) on S is attained at some KKT point, we show that f(x) can be represented as sum of squares (SOS) of polynomials modulo the KKT ideal if f(x)>0 on S; furthermore, when the KKT ideal is radical, we argue that f(x) can be represented as a sum of squares (SOS) of polynomials modulo the KKT ideal if f(x)≥0 on S. This is a generalization of results in [J. Nie, J. Demmel, B. Sturmfels, Minimizing polynomials via sum of squares over the gradient ideal, Mathematical Programming (in press)], which discusses the SOS representations of nonnegative polynomials over gradient ideals.     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

A proximal iterative approach to a non-convex optimization problem

We consider a variable Krasnosel’skii-Mann algorithm for approximating critical points of a prox-regular function or equivalently for finding fixed-points of its proximal mapping prox_λf. The novelty of our approach is that the latter is not non-expansive any longer. We prove that the sequence generated by such algorithm (via the formula x_k+1=(1−α_k)x_k+α_kprox_λkfx_k, where (α_k) is a sequence in (0,1)), is an approximate fixed-point of the proximal mapping and converges provided that the function under consideration satisfies a local metric regularity condition.     

Parameter Dependence of Stable Manifolds for Nonuniform (μ, ν)-dichotomies

We construct stable invariant manifolds for semiflows generated by the nonlinear impulsive differential equation with parameters x'= A(t)x + f(t, x, λ), t≠τi and x(τ+i) = Bix(τi) + gi(x(τi), λ), i ∈ N in Banach spaces, assuming that the linear impulsive differential equation x'= A(t)x, t≠τi and x(τ+i) = Bix(τi), i ∈ N admits a nonuniform (μ, ν)-dichotomy. It is shown that the stable invariant manifolds are Lipschitz continuous in the parameter λ and the initial values provided that the nonlinear perturbations f, g are sufficiently small Lipschitz perturbations.     

New exact general solutions of Abel equation of the second kind

The Abel equation of the second kind

[g₀(x)+g₁(x)u]u^′=f₀(x)+f₁(x)u+f₂(x)u²     

Nondegeneracy and uniqueness for boundary blow-up elliptic problems

In this paper, we use for the first time linearization techniques to deal with boundary blow-up elliptic problems. After introducing a convenient functional setting, we show that the problem Δu=λa(x)u^p+g(x,u) in Ω, with u=+∞ on ∂Ω, has a unique positive solution for large enough λ, and determine its asymptotic behavior as λ→+∞. Here p>1, a(x) is a continuous function which can be singular near ∂Ω and g(x,u) is a perturbation term with potential growth near zero and infinity. We also consider more general problems, obtained by replacing u^p by e^u or a “logistic type” function f(u).     

L∞ bounds for solutions of parametrized elliptic equations

This generalizes earlier results (T. I. Seidman, Indiana Univ. Math. J.30 (1981), 305–311) for ?Δu = λf(u). For the family of equations (su1) Au = g(u, λ) with appropriate boundary conditions the object is to construct from g and the boundary conditions a function η(λ, r) such that a bound y(λ) on ∥u∥_∞ can be obtained by solving the ODE: y′(λ) = η(λ, y) with y(λ₀) = B(λ₀) = bound at λ = λ₀.     

On Chebyshev functions and Klee functions

Associated to a lower semicontinuous function, one can define its proximal mapping and farthest mapping. The function is called Chebyshev (Klee) if its proximal mapping (farthest mapping) is single-valued everywhere. We show that the function f is 1/λ-hypoconvex if its proximal mapping Pλf is single-valued. When the function f is bounded below, and Pλf is single-valued for every λ>0, the function must be convex. Similarly, we show that the function f is 1/μ-strongly convex if the farthest mapping Qμf is single-valued. When the function is the indicator function of a set, this recovers the well-known Chebyshev problem and Klee problem in Rn. We also give an example illustrating that a continuous proximal mapping (farthest mapping) needs not be locally Lipschitz, which answers one open question by Hare and Poliquin.     

Existence and asymptotic behavior of blow-up solutions to weighted quasilinear equations

Given a bounded domain Ω we consider local weak blow-up solutions to the equation Δ_pu=g(x)f(u) on Ω. The non-linearity f is a non-negative non-decreasing function and the weight g is a non-negative continuous function on Ω which is allowed to be unbounded on Ω. We show that if Δ_pw=−g(x) in the weak sense for some and f satisfies a generalized Keller-Osserman condition, then the equation Δ_pu=g(x)f(u) admits a non-negative local weak solution such that u(x)→∞ as x→∂Ω. Asymptotic boundary estimates of such blow-up solutions will also be investigated.     

Lipschitz lower sigma-exponents of linear differential systems

For the lower sigma-exponent of the linear differential system ? = A(t)x, x ∈ R ⁿ , t ≥ 0, defined by the formula Δ_σ(A) ≡ inf_λ[Q]≤-σ λ ₁(A + Q), σ > 0, on the basis of the lower characteristic exponents λ ₁(A+Q) of perturbed linear systems with Lyapunov exponents λ[Q] ≤ ?σ < 0 of perturbations Q, we prove the following general form as a function of the parameter σ > 0. For any nondecreasing bounded function f(σ) of the parameter σ ∈ (0,+∞) that coincides with a constant on some infinite interval (σ ₀,+∞), σ ₀ ≥ 0, and satisfies the Lipschitz condition on the complementary interval (0, σ ₀], we prove the existence of a linear system with coefficient matrix A _f (t) bounded on the half-line [0,+∞) whose lower sigma-exponent Δ_σ(A _f ) coincides with the function f(σ) on the entire interval (0,+∞).