We present a novel isogeometric method, namely the Immersed Boundary-Conformal Method (IBCM), that features a layer of discretization conformal to the boundary while employing a simple background mesh for the remaining domain. In this manner, we leverage the geometric flexibility of the immersed boundary method with the advantages of a conformal discretization, such as intuitive control of mesh resolution around the boundary, higher accuracy per degree of freedom, automatic satisfaction of interface kinematic conditions, and the ability to strongly impose Dirichlet boundary conditions. In the proposed method, starting with a boundary representation of a geometric model, we extrude it to obtain a corresponding conformal layer. Next, a given background B-spline mesh is cut with the conformal layer, leading to two disconnected regions: an exterior region and an interior region. Depending on the problem of interest, one of the two regions is selected to be coupled with the conformal layer through Nitsche's method. Such a construction involves Boolean operations such as difference and union, which therefore require proper stabilization to deal with arbitrarily cut elements. In this regard, we follow our precedent work called the minimal stabilization method [1]. In the end, we solve several 2D benchmark problems to demonstrate improved accuracy and expected convergence with IBCM. Two applications that involve complex geometries are also studied to show the potential of IBCM, including a spanner model and a fiber-reinforced composite model. Moreover, we demonstrate the effectiveness of IBCM in an application that exhibits boundary-layer phenomena.
相關內容
In this paper, an important discovery has been found for nonconforming immersed finite element (IFE) methods using the integral values on edges as degrees of freedom for solving elliptic interface problems. We show that those IFE methods without penalties are not guaranteed to converge optimally if the tangential derivative of the exact solution and the jump of the coefficient are not zero on the interface. A nontrivial counter example is also provided to support our theoretical analysis. To recover the optimal convergence rates, we develop a new nonconforming IFE method with additional terms locally on interface edges. The new method is parameter-free which removes the limitation of the conventional partially penalized IFE method. We show the IFE basis functions are unisolvent on arbitrary triangles which is not considered in the literature. Furthermore, different from multipoint Taylor expansions, we derive the optimal approximation capabilities of both the Crouzeix-Raviart and the rotated-$Q_1$ IFE spaces via a unified approach which can handle the case of variable coefficients easily. Finally, optimal error estimates in both $H^1$- and $L^2$- norms are proved and confirmed with numerical experiments.
The Distance Geometry Problem asks for a realization of a given weighted graph in $\mathbb{R}^K$. Two variants of this problem, both originating from protein conformation, are based on a given vertex order (which abstracts the protein backbone). Both variants involve an element of discrete decision in the realization of the next vertex in the order using $K$ preceding (already realized) vertices. The difference between these variants is that one requires the $K$ preceding vertices to be contiguous. The presence of this constraint allows one to prove, via a combinatorial counting of the number of solutions, that the realization algorithm is fixed-parameter tractable. Its absence, on the other hand, makes it possible to efficiently construct the vertex order directly from the graph. Deriving a combinatorial counting method without using the contiguity requirement would therefore be desirable. In this paper we prove that, unfortunately, such a counting method cannot be devised in general.
The noncentral Wishart distribution has become more mainstream in statistics as the prevalence of applications involving sample covariances with underlying multivariate Gaussian populations as dramatically increased since the advent of computers. Multiple sources in the literature deal with local approximations of the noncentral Wishart distribution with respect to its central counterpart. However, no source has yet developed explicit local approximations for the (central) Wishart distribution in terms of a normal analogue, which is important since Gaussian distributions are at the heart of the asymptotic theory for many statistical methods. In this paper, we prove a precise asymptotic expansion for the ratio of the Wishart density to the symmetric matrix-variate normal density with the same mean and covariances. The result is then used to derive an upper bound on the total variation between the corresponding probability measures and to find the pointwise variance of a new density estimator on the space of positive definite matrices with a Wishart asymmetric kernel. For the sake of completeness, we also find expressions for the pointwise bias of our new estimator, the pointwise variance as we move towards the boundary of its support, the mean squared error, the mean integrated squared error away from the boundary, and we prove its asymptotic normality.
The traditional finite-difference time-domain (FDTD) method is constrained by the Courant-Friedrich-Levy (CFL) condition and suffers from the notorious staircase error in electromagnetic simulations. This paper proposes a three-dimensional conformal locally-one-dimensional FDTD (CLOD-FDTD) method to address the two issues for modeling perfectly electrical conducting (PEC) objects. By considering the partially filled cells, the proposed CLOD-FDTD method can significantly improve the accuracy compared with the traditional LOD-FDTD method and the FDTD method. At the same time, the proposed method preserves unconditional stability, which is analyzed and numerically validated using the Von-Neuman method. Significant gains in CPU time are achieved by using large time steps without sacrificing accuracy. The accuracy and efficiency of the proposed method are validated through two numerical examples.
This paper is concerned with numerical solution of transport problems in heterogeneous porous media. A semi-discrete continuous-in-time formulation of the linear advection-diffusion equation is obtained by using a mixed hybrid finite element method, in which the flux variable represents both the advective and diffusive flux, and the Lagrange multiplier arising from the hybridization is used for the discretization of the advective term. Based on global-in-time and nonoverlapping domain decomposition, we propose two implicit local time-stepping methods to solve the semi-discrete problem. The first method uses the time-dependent Steklov-Poincar\'e type operator and the second uses the optimized Schwarz waveform relaxation (OSWR) with Robin transmission conditions. For each method, we formulate a space-time interface problem which is solved iteratively. Each iteration involves solving the subdomain problems independently and globally in time; thus, different time steps can be used in the subdomains. The convergence of the fully discrete OSWR algorithm with nonmatching time grids is proved. Numerical results for problems with various Pecl\'et numbers and discontinuous coefficients, including a prototype for the simulation of the underground storage of nuclear waste, are presented to illustrate the performance of the proposed local time-stepping methods.
The implementation of discontinuous functions occurs in many of today's state of the art partial differential equation solvers. In finite element methods this poses an inherent difficulty: there are no quadrature rules readily available, when integrating functions whose discontinuity falls in the interior of the element. Many approaches to this issue have been developed in recent years, among them is the equivalent polynomial technique. This method replaces the discontinuous function with a polynomial, potentially allowing for the integration to occur over the entire domain, rather than integrating over complex subdomains. Although, eliminating the issues involved with discontinuous function integration, the equivalent polynomial tactic introduces its own set of problems. In particular, either adaptivity is required to capture the discontinuity or error is introduced when regularization of the discontinuous function is implemented. In the current work we eliminate both of these issues. The results of this work provide exact algebraic expressions for subdomain and interface polynomial integration, where the interface represents the boundary of the cut domain. We also provide algorithms for the implementation of these expressions for standard finite element shapes in one, two, and three dimensions, along with a hypercube of arbitrary dimension .
We present a geometric variational discretization of nonlinear elasticity in 2D and 3D in the Lagrangian description. A main step in our construction is the definition of discrete deformation gradients and discrete Cauchy-Green deformation tensors, which allows for the development of a general discrete geometric setting for frame indifferent isotropic hyperelastic models. The resulting discrete framework is in perfect adequacy with the multisymplectic discretization of fluids proposed earlier by the authors. Thanks to the unified discrete setting, a geometric variational discretization can be developed for the coupled dynamics of a fluid impacting and flowing on the surface of an hyperelastic body. The variational treatment allows for a natural inclusion of incompressibility and impenetrability constraints via appropriate penalty terms. We test the resulting integrators in 2D and 3D with the case of a barotropic fluid flowing on incompressible rubber-like nonlinear models.
We consider a high-dimensional linear regression problem. Unlike many papers on the topic, we do not require sparsity of the regression coefficients; instead, our main structural assumption is a decay of eigenvalues of the covariance matrix of the data. We propose a new family of estimators, called the canonical thresholding estimators, which pick largest regression coefficients in the canonical form. The estimators admit an explicit form and can be linked to LASSO and Principal Component Regression (PCR). A theoretical analysis for both fixed design and random design settings is provided. Obtained bounds on the mean squared error and the prediction error of a specific estimator from the family allow to clearly state sufficient conditions on the decay of eigenvalues to ensure convergence. In addition, we promote the use of the relative errors, strongly linked with the out-of-sample $R^2$. The study of these relative errors leads to a new concept of joint effective dimension, which incorporates the covariance of the data and the regression coefficients simultaneously, and describes the complexity of a linear regression problem. Some minimax lower bounds are established to showcase the optimality of our procedure. Numerical simulations confirm good performance of the proposed estimators compared to the previously developed methods.
A polynomial indicator function of designs is first introduced by Fontana {\it et al}. (2000) for two-level cases. They give the structure of the indicator functions, especially the relation to the orthogonality of designs. These results are generalized by Aoki (2019) for general multi-level cases. As an application of these results, we can enumerate all orthogonal fractional factorial designs with given size and orthogonality using computational algebraic software. For example, Aoki (2019) gives classifications of orthogonal fractions of 2x2x2x2x3 designs with strength 3, which is derived by simple eliminations of variables. However, the computational feasibility of this naive approach depends on the size of the problems. In fact, it is reported that the computation of orthogonal fractions of 2x2x2x2x3 designs with strength 2 fails to carry out in Aoki (2019). In this paper, using the theory of primary decomposition, we enumerate and classify orthogonal fractions of 2x2x2x2x3 designs with strength 2. We show there are 35200 orthogonal half fractions of 2x2x2x2x3 designs with strength 2, classified into 63 equivalent classes.
We study the polynomial approximation of symmetric multivariate functions. Specifically, we consider $f(x_1, \dots, x_N)$, where $x_i \in \mathbb{R}^d$, and $f$ is invariant under permutations of its $N$ arguments. We demonstrate how these symmetries can be exploited to improve the cost versus error ratio in a polynomial approximation of the function $f$, and in particular study the dependence of that ratio on $d, N$ and the polynomial degree.
小貼士
登錄享
相關主題
注冊地址： 北京市海淀區羊坊店路18號2幢3層301-191