The quasi order of graphs on an ordinal

For α an ordinal, a graph with vertex set α may be represented by its characteristic function, f:[α]²→2, where f({γ,δ})=1 if and only if the pair {γ,δ} is joined in the graph. We call these functions α-colorings.We introduce a quasi order on the α-colorings (graphs) by setting f≤g if and only if there is an order-preserving mapping t:α→α such that f({γ,δ})=g({t(γ),t(δ)}) for all {γ,δ}∈[α]². An α-coloring f is an atom if g≤f implies f≤g.We show that for α=ω^ω below every coloring there is an atom and there are continuum many atoms. For α<ω^ω below every coloring there is an atom and there are finitely many atoms.     

On a fractional partial differential equation with dominating linear part

It is proved that there is a (weak) solution of the equation u_t=a*u_xx+b*g(u_x)_x+f, on ℝ⁺ (where * denotes convolution over (−∞, t)) such that u_x is locally bounded. Emphasis is put on having the assumptions on the initial conditions as weak as possible. The kernels a and b are completely monotone and if a(t)=t^−α, b(t)=t^−β, and g(ξ)∼sign(ξ)∣ξ∣^γ for large ξ, then the main assumption is that α>(2γ+2)/(3γ+1)β+(2γ−2)/(3γ+1). © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Superdiffusions and removable singularities for quasilinear partial differential equations

To every second-order elliptic differential operator L and to every number α ϵ (1, 2] there is a corresponding measure-valued Markov process X called the (L, α)-superdiffusion. Suppose that Γ is a closed set in R^d. It is known that the following three statements are equivalent: (α) the range of X does not hit Γ; (β) if u ≥ 0 and Lu = u^α in R^d\Γ, then u = 0 (in other words, Γ is a removable singularity for all solutions of equation Lu = u^α); (γ) Cap_2,α′(Γ) = 0 where 1/α + 1/α′ = 1 and Cap_γ,q is the so-called Bessel capacity. The equivalence of (β) and (γ) was established by Baras and Pierre in 1984 and the equivalence of (α) and (β) was proved by Dynkin in 1991. In this paper, we consider sets Γ on the boundary ∂D of a bounded domain D and we establish (assuming that ∂D is smooth) the equivalence of the following three properties: (a) the range of X in D does not hit Γ (b) if u ≥ 0 and Lu = u^α in D, and if u → 0 as x → α ϵ ∂D\Γ, then u = 0; (c) Cap^∂_2/α,α′(Γ) = 0 where Cap^∂_γ-qis the Bessel capacity on ∂D. This implies positive answers to two conjectures posed by Dynkin a few years ago. (The conjectures have already been confirmed for α = 2 and L = Δ in a recent paper of Le Gall.) By using a combination of probabilistic and analytic arguments we not only prove the equivalence of (a)-(c) but also give a new, simplified proof of the equivalence of (α)-(γ). The paper consists of an Introduction (Section 1) and two parts, probabilistic (Sections 2 and 3) and analytic (Sections 4 and 5), that can be read independently. An important probabilistic lemma, stated in the Introduction, is proved in the Appendix. © 1996 John Wiley & Sons, Inc.     

Global regularity for the 2D magneto-micropolar system with partial and fractional dissipation

This paper focuses on the 2D incompressible magneto-micropolar sysytem with the kinematic dissipation given by the fractional operator (−Δ)^α, the magnetic diffusion by the fractional operator (−Δ)^β and the spin dissipation by the fractional operator (−Δ)^γ. α,β, and γ are nonnegative constants. We proved that this system with any α+β=2,1 ≤ α ≤ 2,γ=0, and α+γ ≥ 1,β=1 always possesses a unique global smooth solution $(\mathbf{u},\mathbf{b},\mathrm{w})\in H^s({\mathbb{R}}^2)(s>2)$ if the initial data is sufficiently smooth. In addition, we also obtained the global regularity results for several partial dissipation cases.     

Adaptives quadratures and fractional IDEs: Applications in image processing

In this paper we show adaptive time discretizations of a fractional integro–differential equation ∂^α_tu = Δu + f, where A is a linear operator in a complex Banach space X and ∂^α_t stands for the fractional time derivative, for 1 < α < 2. Some numerical illustrations are provided showing practical applications where the computational cost is one of drawbacks, e.g., some problems related to images processing. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Periodic Solutions of Non-linear Anisotropic Partial Differential Equations

Periodic solutions of arbitrary period to semilinear partial differential equations of Zabusky or Boussinesq type are obtained. More generally, for a linear differential operator A(y,∂), the equation A(y,∂)u = (−1)^∣γ∣∂^γf(y,∂^γu), y = (t,x)∈ℝ^k×G is studied, where homogeneous boundary conditions on ∂G and periodicity conditions on t are imposed. The solutions are obtained by variational methods in anisotropic Sobolev spaces.     

Resolution trajectorielle et analyse numerique des equations differentielles stochastiques

Let (ξ_t) be the solution of the S.D.E. (E) of Section 1. Doss [3] has shown the existence of a difFerentiable function h and of a differentiate process parametrized by the process W,γ(W,t), such that: ξ_t = h(γ(W, t), W_t). For all continuous functions u, X_t is defined by: X_t = h(γ(u, t) u_t). We develop a scheme of approximation of X_t (Theorems 2-6 and 3-4). This scheme has th following properties:?

1)it does not explicitly involve γ or h; this property is crucial, because,generally, h is not explicitly known, and its numerical approximation would be costly.

2)it converges to X_t, provided that u has bounded quadratic variation.

3)for u = W, it coincides with a scheme proposed by Milshtein [6] for quadratic-mean approximation.

Further, we give an estimate of the error due to this scheme.     

Polar boundary sets for superdiffusions and removable lateral singularities for nonlinear parabolic PDEs

Suppose L is a second-order elliptic differential operator in ℝ^d and D is a bounded, smooth domain in ℝ^d. Let 1 < α ≤ 2 and let Γ be a closed subset of ∂D. It is known [13] that the following three properties are equivalent: (α) Γ is ∂-polar; that is, Γ is not hit by the range of the corresponding (L, α)-superdiffusion in D; (β) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where ρ(x) is the distance to the boundary and k(x, y) is the corresponding Poisson kernel; and (γ) Γ is a removable boundary singularity for the equation Lu = u^α in D; that is, if u ≥ 0 and Lu = u^α in D and if u = 0 on ∂D \ Γ, then u = 0. We investigate a similar problem for a parabolic operator in a smooth cylinder 𝒬 = ℝ₊ × D. Let Γ be a compact set on the lateral boundary of 𝒬. We show that the following three properties are equivalent: (a) Γ is 𝒢-polar; that is, Γ is not hit by the graph of the corresponding (L, α)-superdiffusion in 𝒬; (b) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where k(r, x; t, y) is the corresponding (parabolic) Poisson kernel; and (c) Γ is a removable lateral singularity for the equation u˙ + Lu = u^α in 𝒬; that is, if u ≥ 0 and u˙ + Lu = u^α in 𝒬 and if u = 0 on ∂𝒬 \ Γ and on {∞} × D, then u = 0. © 1998 John Wiley & Sons, Inc.     

Small Data Scattering for the One-Dimensional Nonlinear Dirac Equation with Power Nonlinearity

We study scattering problems for the one-dimensional nonlinear Dirac equation (?_t + α?_x + iβ)Φ = λ|Φ|^p?1Φ. We prove that if p > 3 (resp. p > 3 + 1/6), then the wave operator (resp. the scattering operator) is well-defined on some 0-neighborhood of a weighted Sobolev space. In order to prove these results, we use linear operators D(t)xD(?t) and t?_x + x?_t ? α/2, where {D(t)}_t∈? is the free Dirac evolution group. For the reader's convenience, in an appendix we list and prove fundamental properties of D(t)xD(?t) and t?_x + x?_t ? α/2.     

Interval oscillation criteria for second order super‐half linear functional differential equations with delay and advanced arguments

Sufficient conditions are established for oscillation of second order super half linear equations containing both delay and advanced arguments of the form where ?_δ (u) = |u |^{δ –1}u; α > 0, β ≥ α, and γ ≥ α are real numbers; k, p, q, e, τ, σ are continuous real‐valued functions; τ (t) ≤ t and σ (t) ≥ t with lim_{t →∞} τ (t) = ∞. The functions p (t), q (t), and e (t) are allowed to change sign, provided that p (t) and q (t) are nonnegative on a sequence of intervals on which e (t) alternates sign. As an illustrative example we show that every solution of is oscillatory provided that either m₁ or m₂ or r₀ is sufficiently large (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Error estimates for projection-difference methods for differential equations with differentiable operators

We study the projection-difference methods for approximate solving the Cauchy problem for operator-differential equations with a leading self-adjoint operator A(t) and a subordinate linear operator K(t), whose definition domain is independent of t. Operators A(t) and K(t) are assumed to be sufficiently smooth. We obtain estimates for the rate of convergence of approximate solutions to the exact solution as well as those for fractional degrees of an operator similar to A(0).     

Unbounded derivations tangential to compact groups of automorphisms

We consider unbounded derivations in C¹-algebras commuting with compact groups of ¹-automorphisms. A closed ¹-derivation δ in a C¹-algebra $\text{U}$ is said to be a generator if there exists a strongly continuous one-parameter subgroup t∈$\text{R}$→τ(t)? Aut($\text{U}$) such that $\text{δ =}\text{d}\text{dt}\text{τ(t)¦}{}_{\mathrm{t\; =\; 0}}$. If δ is known to commute with a compact abelian action α:G→Aut($\text{U}$), and if δ(a) = 0 for all a in the fixed point algebra $\text{U}$^α of the action G, then we show that δ is necessarily a generator. Moreover, in any faithful G-covariant representation, there is a commutative operator field γ ∈ ? → v(γ) such that $\text{v(γ)}{}^1\text{= ?v(γ), v(γ)}$ is possibly unbounded but affiliated with the center of {$\text{U}$^α}″, and e^tδ(x) = xe^tv(γ) for all x in the Arveson spectral subspace $\text{U}$^α(γ). In particular, if $\text{U}$ is the CAR algebra over an infinite-dimensional Hilbert space and α is the gauge group, then any such derivation δ is a scalar multiple of the generator of the gauge group.     

Bushell's equations and polar decompositions

We show that for any real number t with t ≠ ±1, every invertible operator M on a Hilbert space admits a new polar decomposition M = PUP^–t where P is positive definite and U is unitary, and that the corresponding polar map is homeomorphism. The positive definite factor P of M appears as the negative square root of the unique positive definite solution of the nonlinear operator equation X^t = M * XM. This extends the classical matrix and operator polar decomposition when t = 0. For t = ± 1, it is shown that the positive definite solution sets of X^±1 = M * XM form geodesic submanifolds of the Banach–Finsler manifold of positive definite operators and coincide with fixed point sets of certain non‐expansive mappings, respectively (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Note on Aluthge Transforms of Complex Symmetric Operators and Applications

In this paper, we reprove that: (i) the Aluthge transform of a complex symmetric operator [(T)\tilde] = |T|^\frac12 U|T|^\frac12\tilde{T} = |T|^{\frac{1}{2}} U|T|^{\frac{1}{2}} is complex symmetric, (ii) if T is a complex symmetric operator, then ([(T)\tilde])^*(\tilde{T})^{*} and [(T^*)\tilde]\widetilde{T^{*}} are unitarily equivalent. And we also prove that: (iii) if T is a complex symmetric operator, then [((T^*))\tilde]_s,t\widetilde{(T^{*})}_{s,t} and ([(T)\tilde]_t,s)^*(\tilde{T}_{t,s})^{*} are unitarily equivalent for s, t > 0, (iv) if a complex symmetric operator T belongs to class wA(t, t), then T is normal.     

Decay rates for semilinear wave equations with vanishing damping and Neumann boundary conditions

The paper is concerned with the semilinear wave equations with time‐dependent damping γ(t)=α/(1+t)  (α>0), under the effect of nonlinear source f behaving like a polynomial, and subject to Neumann boundary conditions. Constructing appropriate auxiliary functions, we obtain an explicit uniform decay rate estimate for the solutions of the equation in terms of the exponent of f, when α is large enough. On the other hand, via a new hyperbolic version of Dirichlet quotients, we show that the upper estimate is optimal in some case, which implies the existence of slow solutions.     

Linear periodic boundary-value problem for a second-order hyperbolic equation. II. Quasilinear problem

In three spaces, we find exact classical solutions of the boundary-value periodic problem u_tt - a²u_xx = g(x, t) u(0, t) = u(π, t) = 0, u(x, t + T) = u(x, t), x ∈ ℝ, t ∈ ℝ. We study the periodic boundary-value problem for a quasilinear equation whose left-hand side is the d’Alembert operator and whose right-hand side is a nonlinear operator. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1680–1685, December, 1998.     

Global solvability for abstract semilinear evolution equations

The Cauchy problem for the abstract semilinear evolution equation u^′(t) = Au (t) + B (u (t)) + C (u (t)) is discussed in a general Banach space X. Here A is the so‐called Hille‐Yosida operator in X, B is a differentiable operator from D (A) into X, and C is a locally Lipschitz continuous operator from D (A) into itself. A vectorvalued functional defined only on X is used and appropriate conditions on the nonlinear operators B and C are imposed so that a vector‐valued functional defined on the domain of the operator A may be constructed in order to specify the growth of a global solution. The advantage of our formulation lies in the fact that it is possible to obtain a global solution by checking some energy inequalities concerning only low order derivatives (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A characterization of periodic solutions for time‐fractional differential equations in UMD spaces and applications

We study the fractional differential equation (*) D^αu(t) + BD^βu(t) + Au(t) = f(t), 0 ? t ? 2π (0 ? β < α ? 2) in periodic Lebesgue spaces L^p(0, 2π; X) where X is a Banach space. Using functional calculus and operator valued Fourier multiplier theorems, we characterize, in UMD spaces, the well posedness of (*) in terms of R‐boundedness of the sets {(ik)^α((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} and {(ik)^βB((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} . Applications to the fractional problems with periodic boundary condition, which includes the time diffusion and fractional wave equations, as well as an abstract version of the Basset‐Boussinesq‐Oseen equation are treated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Norm inequalities related to operator monotone functions

Let A,B be positive semidefinite matrices and any unitarily invariant norm on the space of matrices. We show for any non-negative operator monotone function f(t) on , and for non-negative increasing function g(t) on with g(0) = 0 and , whose inverse function is operator monotone. Received: 1 February 1999     

Hope-lax type formular for u∞ t +H u,D u =0: II

The first order equation u _t +H u,D u =0 with u T,x =g x is considered with terminal dat g which is assumed to be only quasiconvex, is a significant generalization of convex functions. The hamiltonian H γ,p is assumed to be homogeneous degree one in p and nondecreasing in γ. It is prove that the explicit solution of such a problem is u t,x = g ^# γ,p T-t H γ,p ^# where # refers to the quasiconvex conjugate of the functions in the x variable.