Multi‐term π‐institutions and their equivalence

The notion of a multi‐term π‐institution is introduced and a criterion for the equivalence of two multi‐term π‐institutions in terms of their categories of theories is proved. Moreover, a counterexample that shows that this criterion is false for arbitrary π‐institutions is given. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Serrin criterion for compressible nematic liquid crystal flows

This paper is concerned with a simplified system, proposed by Ericksen and Leslie, modeling the flow of nematic liquid crystals. We establish a blowup criterion for three‐dimensional compressible nematic liquid crystal flows, which is analogous to the well‐known Serrin's blowup criterion for three‐dimensional incompressible viscous flows. Copyright © 2012 John Wiley & Sons, Ltd.     

Boosted Simon‐Wolff Spectral Criterion and Resonant Delocalization

Discussed here are criteria for the existence of continuous components in the spectra of operators with random potential. First, the essential condition for the Simon‐Wolff criterion is shown to be measurable at infinity. By implication, for the i.i.d. case and more generally potentials with the K‐property, the criterion is boosted by a zero‐one law. The boosted criterion, combined with tunneling estimates, is then applied for sufficiency conditions for the presence of continuous spectrum for random Schrödinger operators. The general proof strategy that this yields is modeled on the resonant delocalization arguments by which continuous spectrum in the presence of disorder was previously established for random operators on tree graphs. In another application of the Simon‐Wolff rank‐one analysis we prove the almost sure simplicity of the pure point spectrum for operators with random potentials of conditionally continuous distribution.© 2015 Wiley Periodicals, Inc.     

A regularity condition of strong solutions to the two‐dimensional equations of compressible nematic liquid crystal flows

This paper is concerned with the short time strong solutions for Cauchy problem to a simplified Ericksen–Leslie system of compressible nematic liquid crystals in two dimensions with vacuum as far field density. We establish a blow‐up criterion for possible breakdown of such solutions at a finite time, which is analogous to the well‐known Serrin's blow‐up criterion for the incompressible Navier–Stokes equations. Copyright © 2016 John Wiley & Sons, Ltd.     

Categorical abstract algebraic logic: The criterion for deductive equivalence

Equivalent deductive systems were introduced in [4] with the goal of treating 1‐deductive systems and algebraic 2‐deductive systems in a uniform way. Results of [3], appropriately translated and strengthened, show that two deductive systems over the same language type are equivalent if and only if their lattices of theories are isomorphic via an isomorphism that commutes with substitutions. Deductive equivalence of π‐institutions [14, 15] generalizes the notion of equivalence of deductive systems. In [15, Theorem 10.26] this criterion for the equivalence of deductive systems was generalized to a criterion for the deductive equivalence of term π‐institutions, forming a subclass of all π‐institutions that contains those π‐institutions directly corresponding to deductive systems. This criterion is generalized here to cover the case of arbitrary π‐institutions.     

An adiabatic theorem for section determinants of spectral projections

We derive an adiabatic‐type theorem that expresses the section determinants of spectral projections of a selfadjoint operator through the solution to an operator‐valued Wiener‐Hopf equation. The solution theory of this equation is developed and for a special case a concrete criterion that ensures uniqueness of the solution is presented. Furthermore, for a special class of operators a dichotomy criterion, which is used in the proof of the adiabatic theorem, is proved. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Quasi‐completeness and functions without fixed‐points

We prove a completeness criterion for quasi‐reducibility and generalize it to higher levels of the arithmetical hierarchy. As an application of the criterion we obtain Q‐completeness of the set of all pairs (x, n) such that the prefix‐free Kolmogorov complexity of x is less than n. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Dynamical analysis of impulsive neural networks with time‐varying delays

In this work, a new criterion concerning the global exponential stability of impulsive neural networks with time‐varying delays is presented by employing the impulsive delayed differential inequality method. The criterion is independent of the time‐varying delays and does not require the differentiability of delay functions. An example and its simulation showing the effectiveness of the present criterion is given finally. Copyright © 2012 John Wiley & Sons, Ltd.     

Statistical methods for automatic crack detection based on vibrothermography sequence‐of‐images data

Vibrothermography is a relatively new nondestructive evaluation technique for finding cracks through frictional heat generated from crack surface vibrations under external excitations. The vibrothermography inspection method provides a sequence of infrared images as the output. We use a matched filter technique to increase the signal‐to‐noise ratio of the sequence‐of‐images data. An automatic crack detection criterion based on the features extracted from the matched filter output greatly increases the sensitivity of the vibrothermography inspection method. In this paper, we develop a three‐dimensional matched filter for the sequence‐of‐images data, which presents the statistical analysis for the matched filter output, and evaluate the probability of detection. Our results show the crack detection criterion based on the matched filter output provides an improved detection capability. Copyright © 2010 John Wiley & Sons, Ltd.     

Blowup of smooth solution for non‐isentropic magnetohydrodynamic equations without heat conductivity

In this paper, we establish a blow‐up criterion for the three‐dimentional viscous, compressible magnetohydrodynamic flows. It is shown that for the Cauchy problem and the initial‐boundary‐value problem with initial density allowed to vanish, the strong or smooth solution for the three‐dimentional magnetohydrodynamic flows exists globally if the density, temperature, and magnetic field is bounded from above. Copyright © 2016 John Wiley & Sons, Ltd.     

‘Model selection for generalized linear models with factor‐augmented predictors’

This paper considers generalized linear models in a data‐rich environment in which a large number of potentially useful explanatory variables are available. In particular, it deals with the case that the sample size and the number of explanatory variables are of similar sizes. We adopt the idea that the relevant information of explanatory variables concerning the dependent variable can be represented by a small number of common factors and investigate the issue of selecting the number of common factors while taking into account the effect of estimated regressors. We develop an information criterion under model mis‐specification for both the distributional and structural assumptions and show that the proposed criterion is a natural extension of the Akaike information criterion (AIC). Simulations and empirical data analysis demonstrate that the proposed new criterion outperforms the AIC and Bayesian information criterion. Copyright © 2009 John Wiley & Sons, Ltd.     

Local time and Tanaka formula for a multitype Dawson–Watanabe superprocess

In [3] Dynkin defined the local time of a continuous superprocess as a stochastic integral and gave a criterion for existence of local time. Here we prove that the conditions in Dynkin's existence criterion are satisfied by the multitype Dawson–Watanabe superprocess, and give a Tanaka formula‐like representation of the local time which is used to show that the occupation measure of the multitype superprocess is absolutely continuous with respect to an appropriate reference measure, and that the corresponding density coincides a.s. with the local time. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Indecomposable quasi‐characteristics scheme on pyramidal stencil and its application for numerical simulation of two‐phase flows through heterogeneous porous medium

A new high‐resolution indecomposable quasi‐characteristics scheme with monotone properties based on pyramidal stencil is considered. This scheme is based on consideration of two high‐resolution numerical schemes approximated governing equations on the pyramidal stencil with different kinds of dispersion terms approximation. Two numerical solutions obtained by these schemes are analyzed, and the final solution is chosen according to the special criterion to provide the monotone properties in regions where discontinuities of solutions could arise. This technique allows to construct the high‐order monotone solutions and keeps both the monotone properties and the high‐order approximation in regions with discontinuities of solutions. The selection criterion has a local character suitable for parallel computation. Application of the proposed technique to the solution of the time‐dependent 2D two‐phase flows through the porous media with the essentially heterogeneous properties is considered, and some numerical results are presented. © 2002 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 18: 44–55, 2002     

Termination criteria for inexact fixed‐point schemes

We analyze inexact fixed‐point iterations where the generating function contains an inexact solve of an equation system to answer the question of how tolerances for the inner solves influence the iteration error of the outer fixed‐point iteration. Important applications are the Picard iteration and partitioned fluid‐structure interaction. For the analysis, the iteration is modeled as a perturbed fixed‐point iteration, and existing analysis is extended to the nested case x = F ( S ( x )). We prove that if the iteration converges, it converges to the exact solution irrespective of the tolerance in the inner systems, provided that a nonstandard relative termination criterion is employed, whereas standard relative and absolute criteria do not have this property. Numerical results demonstrate the effectiveness of the approach with the nonstandard termination criterion. Copyright © 2015 John Wiley & Sons, Ltd.     

Crack nucleation sensitivity analysis

A simple analytical expression for crack nucleation sensitivity analysis is proposed relying on the concept of topological derivative and applied within a two‐dimensional linear elastic fracture mechanics theory (LEFM). In particular, the topological asymptotic expansion of the total potential energy together with a Griffith‐type energy of an elastic cracked body is calculated. As a main result, we derive a crack nucleation criterion based on the topological derivative and a criterion for determining the direction of crack growth based on the topological gradient. The proposed methodology leads to an axiomatic approach of crack nucleation sensitivity analysis. Copyright © 2010 John Wiley & Sons, Ltd.     

Energy release rate for cracks in finite‐strain elasticity

Griffith's fracture criterion describes in a quasistatic setting whether or not a pre‐existing crack in an elastic body is stationary for given external forces. In terms of the energy release rate (ERR), which is the derivative of the deformation energy of the body with respect to a virtual crack extension, this criterion reads: if the ERR is less than a specific constant, then the crack is stationary, otherwise it will grow. In this paper, we consider geometrically nonlinear elastic models with polyconvex energy densities and prove that the ERR is well defined. Moreover, without making any assumption on the smoothness of minimizers, we rigorously derive the well‐known Griffith formula and the J‐integral, from which the ERR can be calculated. The proofs are based on a weak convergence result for Eshelby tensors. Copyright © 2007 John Wiley & Sons, Ltd.     

Consensus protocol design for discrete‐time networks of multiagent with time‐varying delay via logarithmic quantizer

This article considers the problem of consensus for discrete‐time networks of multiagent with time‐varying delays and quantization. It is assumed that the logarithmic quantizer is utilized between the information flow through the sensor of each agent, and its quantization error is included in the proposed method. By constructing a suitable Lyapunov‐Krasovskii functional and utilizing matrix theory, a new consensus criterion for the concerned systems is established in terms of linear matrix inequalities (LMIs) which can be easily solved by various effective optimization algorithms. Based on the consensus criterion, a designing method of consensus protocol is introduced. One numerical example is given to illustrate the effectiveness of the proposed method. © 2014 Wiley Periodicals, Inc. Complexity 21: 163–176, 2015     

Local well‐posedness and blow‐up criterion for a compressible Navier‐Stokes‐Fourier‐P1 approximate model arising in radiation hydrodynamics

We establish a local well‐posedness and a blow‐up criterion of strong solutions for the compressible Navier‐Stokes‐Fourier‐P1 approximate model arising in radiation hydrodynamics. For the local well‐posedness result, we do not need the assumption on the positivity of the initial density and it may vanish in an open subset of the domain.