Well-posedness of two pseudo-parabolic problems for electrical conduction in heterogeneous media

We prove a well-posedness result for two pseudo-parabolic problems, which can be seen as two models for the same electrical conduction phenomenon in heterogeneous media, neglecting the magnetic field. One of the problems is the concentration limit of the other one, when the thickness of the dielectric inclusions goes to zero. The concentrated problem involves a transmission condition through interfaces, which is mediated by a suitable Laplace-Beltrami type equation.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

高陡横坡段桩柱式桥梁双桩基础受力分析

基于高陡横坡段桩柱式桥梁双桩基础承载特性,提出了一种改进有限杆单元计算分析方法.分析了高陡横坡段桩柱式桥梁双桩基础承载机理及受力特性,建立了双桩基础计算分析模型.其次,根据前、后桩与边坡相对位置关系,给出了后桩所受剩余下滑力与前桩所受土压力的比例关系.在传统有限杆单元分析方法基础上,结合陡坡桩受力特征,导得了考虑桩土共同作用与"P-Δ"效应的单元刚度矩阵修正方法,并在此基础上编制了适用于高陡横坡段桩柱式桥梁双桩基础的有限杆单元分析MATLAB计算程序.采用室内模型试验对本文计算方法进行验证,给出了适用于陡坡段桥梁桩基的设计流程图.研究结果表明:本文理论计算值与模型试验实测结果吻合良好,表明本文计算方法正确可行,可为同类工程设计提供参考.     

Single Crystal to Single Crystal (SC‐to‐SC) Transformation from a Nonporous to Porous Metal–Organic Framework and Its Application Potential in Gas Adsorption and Suzuki Coupling Reaction through Postmodification

A new amino‐functionalized strontium–carboxylate‐based metal–organic framework (MOF) has been synthesized that undergoes single crystal to single crystal (SC‐to‐SC) transformation upon desolvation. Both structures have been characterized by single‐crystal X‐ray analysis. The desolvated structure shows an interesting 3D porous structure with pendent ?NH₂ groups inside the pore wall, whereas the solvated compound possesses a nonporous structure with DMF molecules on the metal centers. The amino group was postmodified through Schiff base condensation by pyridine‐2‐carboxaldehyde and palladium was anchored on that site. The modified framework has been utilized for the Suzuki cross‐coupling reaction. The compound shows high activity towards the C?C cross‐coupling reaction with good yields and turnover frequencies. Gas adsorption studies showed that the desolvated compound had permanent porosity and was microporous in nature with a BET surface area of 2052 m² g^?1. The material also possesses good CO₂ (8 wt %) and H₂ (1.87 wt %) adsorption capabilities.     

Logarithmic Regge pole

This work presents the subtraction procedure and the Regge cut in the logarithmic Regge pole approach. The subtraction mechanism leads to the same asymptotic behavior as previously obtained in the non-subtraction case. The Regge cut, in contrast, introduces a clear role to the non-leading contributions for the asymptotic behavior of the total cross-section. From these results, some simple parameterization is introduced to fit the experimental data for the proton-proton and antiproton-proton total cross-section above some minimum value up to the cosmic-ray. The fit parameters obtained are used to present predictions for the \begin{document}$ \rho(s)$\end{document} -parameter as well as to the elastic slope \begin{document}$ B(s)$\end{document} at high energies.     

带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

积分算子的线性性和有界性

积分算子在数学中是作用在函数上的作用子,根据其核函数的不同,可以得到不同的积分算子;研究了积分算子的线性性及有界性等算子的代数性质,得出了积分算子是线性算子,并且在某些特定情况下还是有界算子,从而是连续的线性算子的结论.