Global bifurcation of a class of periodic boundary-value problems

We prove that λ=0 is a global bifurcation point of the second-order periodic boundary-value problem (p(t)x^′(t))^′−λx(t)−λ²x^′(t)−f(t,x(t),x^′(t),x^″(t));x(0)=x(1),x^′(0)=x^′(1). We study this equation under hypotheses for which it may be solved explicitly for x^″(t). However, it is shown that the explicitly solved equation does not satisfy the usual conditions that are sufficient to conclude global bifurcation. Thus, we need to study the implicit equation with regard to global bifurcation.     

C-Cosine Functions and the Abstract Cauchy Problem, I

IfAis the generator of an exponentially boundedC-cosine function on a Banach spaceX, then the abstract Cauchy problem (ACP) forAhas a unique solution for every pair (x, y) of initial values from (λ − A)⁻¹C(X). The main result is a characterization of the generator of aC-cosine function, which may not be exponentially bounded and may have a nondensely defined generator, in terms of the associated ACP.     

Some properties of BLUE in a linear model and canonical correlations associated with linear transformations

Let (x, Xβ, V) be a linear model and let A′ = (A′₁, A′₂) be a p × p nonsingular matrix such that A₂X = 0, Rank A₂ = p − Rank X. We represent the BLUE and its covariance matrix in alternative forms under the conditions that the number of unit canonical correlations between y₁ ( = A₁x) and y₂ ( = A₂x) is zero. For the second problem, let x′ = (x′₁, x′₂) and let a g-inverse V⁻ of V be written as (V⁻)′ = (A′₁, A′₂). We investigate the reations (if any) between the nonzero canonical correlations {1 ₁ … ₁ > 0} due to y₁ ( = A₁x) and y₂ ( = A₂x), and the nonzero canonical correlations {1 λ₁ … λ_v+r > 0} due to x₁ and x₂. We answer some of the questions raised by Latour et al. (1987, in Proceedings, 2nd Int. Tampere Conf. Statist. (T. Pukkila and S. Puntanen, Eds.), Univ. of Tampere, Finland) in the case of the Moore-Penrose inverse V⁺ = (A′₁, A′₂) of V.     

Some extensions of the Kantorovich inequality and statistical applications

Kantorovich gave an upper bound to the product of two quadratic forms, (X′AX) (X′A⁻¹X), where X is an n-vector of unit length and A is a positive definite matrix. Bloomfield, Watson and Knott found the bound for the product of determinants |X′AX| |X′A⁻¹X| where X is n × k matrix such that X′X = I_k. In this paper we determine the bounds for the traces and determinants of matrices of the type X′AYY′A⁻¹X, X′B²X(X′BCX)⁻¹ X′C²X(X′BCX)⁻¹ where X and Y are n × k matrices such that X′X = Y′Y = I_k and A, B, C are given matrices satisfying some conditions. The results are applied to the least squares theory of estimation.     

Viability for a class of semilinear differential equations of retarded type

Let X be a Banach space, A ： D（A） X → X the generator of a compact C0- semigroup S（t） ： X → X, t ≥ 0, D a locally closed subset in X, and f ： （a, b） × X →X a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order to make D a viable domain of the semilinear differential equation of retarded type u＇（t） = Au（t） ＋ f（t, u（t - q））, t ∈ [to, to ＋ T], with initial condition uto = φ ∈C（[-q, 0]; X）, is the tangency condition lim infh10 h^-1d（S（h）v（O）＋hf（t, v（-q））; D） = 0 for almost every t ∈ （a, b） and every v ∈ C（[-q, 0]; X） with v（0）, v（-q）∈ D.     

An inverse polynomial method for the identification of the leading coefficient in the Sturm–Liouville operator from boundary measurements

An inverse polynomial method of determining the unknown leading coefficient k=k(x) of the linear Sturm–Liouville operator Au=−(k(x)u^′(x))^′+q(x)u(x), x(0,1), is presented. As an additional condition only two measured data at the boundary (x=0,x=1) are used. In absence of a singular point (u^′(x)≠0,u^″(x)≠0,x[0,1]) the inverse problem is classified as a well-conditioned . If there exists at least one singular point, then the inverse problem is classified as moderately ill-conditioned (u^′(x₀)=0,x₀(0,1);u^′(x)≠0,x≠x₀;u^″(x)≠0,x[0,1]) and severely ill-conditioned (u^′(x₀)=u^″(x₀)=0,x₀(0,1);u^′(x)≠0,u^″(x)≠0,x≠x₀). For each of the cases direct problem solution is approximated by corresponding polynomials and the inverse problem is reformulated as a Cauchy problem for to the first order differential equation with respect the unknown function k=k(x). An approximate analytical solution of the each Cauchy problems are derived in explicit form. Numerical simulations all the above cases are given for noise free and noisy data. An accuracy of the presented approach is demonstrated on numerical test solutions.     

Estimates of Freud-Christoffel functions for some weights with the whole real line as support

Upper and lower bounds for generalized Christoffel functions, called Freud-Christoffel functions, are obtained. These have the form λ_n,p(W,j,x) = infPW_Lp(R)/|P^(j)(X)| where the infimum is taken over all polynomials P(x) of degree at most n − 1. The upper and lower bounds for λ_n,p(W,j,x) are obtained for all 0 < p ∞ and J = 0, 1, 2, 3,… for weights W(x) = exp(−Q(x)), where, among other things, Q(x) is bounded in [− A, A], and Q″ is continuous in β(−A, A) for some A > 0. For p = ∞, the lower bounds give a simple proof of local and global Markov-Bernstein inequalities. For p = 2, the results remove some restrictions on Q in Freud's work. The weights considered include W(x) = exp(− ¦x¦^α/2), α > 0, and W(x) = exp(− exp(¦x¦)), > 0.     

Qualitative properties of solutions of integral equations

In this paper we study a linear integral equation in which the kernel fails to satisfy standard conditions yielding qualitative properties of solutions. Thus, we begin by following the standard idea of differentiation to obtain . The investigation frequently depends on x^′(t)+C(t,t)x(t)=0 being uniformly asymptotically stable. When that property fails to hold, the investigator must turn to ad hoc methods. We show that there is a way out of this dilemma. We note that if C(t,t) is bounded, then for k>0 the equation resulting from x^′+kx will have a uniformly asymptotically stable ODE part and the remainder can often be shown to be a harmless perturbation. The study is also continued to the pair x^″+kx^′.     

Instability of Certain Nonlinear Stochastic Differential Equations

We prove existence and uniqueness of the solution X^ε_t of the SDE, X^ε_t = εB_t + ∫^t₀u^{q −1} _ε(s, X^ε_t) ds, where X^ε_t is a one-dimensional process and u_ε(t, x) the density of X^ε_t (ε > 0, q > 1). We show that the closure of (X^ε_t; 0 ≤ t ≤ 1) with respect to Hölder norm, when ε goes to 0, is a.s. equal to an explicit family of continuous functions. We obtain similar results, considering SDE′s where the drift coefficient is equal to ± sgn(x) u(t, x).     

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

On nonautonomous linear systems of differential and difference equations with -symmetric coefficient matrices

Let denote the set of continuous n×n matrices on an interval . We say that is a nontrivial k-involution if where ζ=e^-2πi/k, d₀+d₁++d_k-1=n, and with . We say that is R-symmetric if R(t)A(t)R^-1(t)=A(t), , and we show that if A is R-symmetric then solving x^′=A(t)x or x^′=A(t)x+f(t) reduces to solving k independent d_ℓ×d_ℓ systems, 0ℓk-1. We consider the asymptotic behavior of the solutions in the case where . Finally, we sketch analogous results for linear systems of difference equations.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Function Spaces as Path Spaces of Feller Processes

Let {X_t}_{t ≥ 0} be a Feller process with infinitesimal generator (A, D(A)). If the test functions are contained in D(A), —A |C^∞_c (ℝⁿ) is a pseudo–differential operator p(x, D) withsymbol p(x, ξ). We investigate local and global regularity properties of the sample paths t ↦ X_t in terms of (weighted) Besov B^s_pq (ℝ, ρ) and Triebel–Lizorkin F^s_pq (ℝ, ρ) spaces. The parameters for these spaces are determined by certain indices that describe the asymptotic behaviour of the symbol p(x, ξ). Our results improve previous papers on Lévy [5, 9] and Feller processes [22].     

The nonlinear heat equation with absorption: Effects of variable coefficients

We consider the nonnegative solutions to the nonlinear degenerate parabolic equation u_t = (D(x, t)u^{m − 1}u_x)_x − b(x, t)u^p with m > 1, 0 < p < 1, and positive D(x, t), b(x, t). After obtaining the uniqueness and Hölder regularity results, we investigate the dependence of such phenomena as extinction in finite time and instantaneous shrinking of the support on the behaviour of D(x, t) and b(x, t).     

Asymptotic forms of solutions of certain linear ordinary differential equations

We analyze the asymptotic behavior as x → ∞ of the product integral Π_x0^xe^A(s)ds, where A(s) is a perturbation of a diagonal matrix function by an integrable function on [x₀,∞). Our results give information concerning the asymptotic behavior of solutions of certain linear ordinary differential equations, e.g., the second order equation y″ = a(x)y.     

Centres of Convex Sets inLMetrics

It is shown that for each convex bodyARⁿthere exists a naturally defined family _AC(Sⁿ⁻¹) such that for everyg _A, and every convex functionf: R→Rthe mappingy∫_Sⁿ⁻¹ f(g(x)−y, x) dσ(x) has a minimizer which belongs toA. As an application, approximation of convex bodies by balls with respect toL^pmetrics is discussed.     

Minimax estimation of the mean of spherically symmetric distributions under general quadratic loss

For X one observation on a p-dimensional (p ≥ 4) spherically symmetric (s.s.) distribution about θ, minimax estimators whose risks dominate the risk of X (the best invariant procedure) are found with respect to general quadratic loss, L(δ, θ) = (δ − θ)′ D(δ − θ) where D is a known p × p positive definite matrix. For C a p × p known positive definite matrix, conditions are given under which estimators of the form δ_a,r,C,D(X) = (I − (ar(|X|²)) D^−1/2CD^1/2 |X|⁻²)X are minimax with smaller risk than X. For the problem of estimating the mean when n observations X₁, X₂, …, X_n are taken on a p-dimensional s.s. distribution about θ, any spherically symmetric translation invariant estimator, δ(X₁, X₂, …, X_n), with have a s.s. distribution about θ. Among the estimators which have these properties are best invariant estimators, sample means and maximum likelihood estimators. Moreover, under certain conditions, improved robust estimators can be found.     

Well-posedness of equations with fractional derivative via the method of sum

We study the well-posedness of the equations with fractional derivative Dαu(t)=Au(t)+f(t)(0 ≤t≤2π),where A is a closed operator in a Banach space X,0α1 and Dα is the fractional derivative in the sense of Weyl.Although this problem is not always well-posed in Lp(0,2π;X) or periodic continuous function spaces Cper([0,2π];X),we show by using the method of sum that it is well-posed in some subspaces of L p(0,2π;X) or C per([0,2π];X).     

Asymptotic Behaviour of C0–Semigroups with Bounded Local Resolvents

Let {T(t)}_t≥0 be a C₀–semigroup on a Banach space X with generator A, and let H^∞_T be the space of all x ∈ X such that the local resolvent λ ↦ R(λ, A)x has a bounded holomorphic extension to the right half–plane. For the class of integrable functions ϕ on [0, ∞) whose Fourier transforms are integrable, we construct a functional calculus ϕ ↦ T_ϕ, as operators on H^∞_T. Weshow that each orbit T(·)T_ϕx is bounded and uniformly continuous, and T(t)T_ϕx → 0 weakly as t → ∞, and we give a new proof that ∥T(t)R(μ, A)x∥ = O(t). We also show that ∥T(t)T_ϕx∥ → 0 when T is sun –reflexive, and that ∥T(t)R(μ, A)x∥ = O(ln t) when T is a positive semigroup on a normal ordered space X and x is a positive vector in H^∞_T.     

Existence of the mild solution for some fractional differential equations with nonlocal conditions

We are concerned in this paper with the existence of mild solutions to the Cauchy Problem for the fractional differential equation with nonlocal conditions: D ^q x(t)=Ax(t)+t ⁿ f(t,x(t),Bx(t)), t∈[0,T], n∈ℤ⁺, x(0)+g(x)=x ₀, where 0<q<1, A is the infinitesimal generator of a C ₀-semigroup of bounded linear operators on a Banach space X.