Noncommutative gravity in three dimensions coupled to spinning sources

合集下载

计算流体力学中英文词汇对照

计算流体力学中英文词汇对照

流体动力学fluid dynamics 连续介质力学mechanics of continuous media 介质medium 流体质点fluid particle无粘性流体nonviscous fluid, inviscid fluid 连续介质假设continuous medium hypothesis 流体运动学fluid kinematics 水静力学hydrostatics液体静力学hydrostatics 支配方程governing equation伯努利方程Bernoulli equation 伯努利定理Bernonlli theorem毕奥-萨伐尔定律Biot-Savart law 欧拉方程Euler equation亥姆霍兹定理Helmholtz theorem 开尔文定理Kelvin theorem涡片vortex sheet 库塔-茹可夫斯基条件Kutta-Zhoukowski condition 布拉休斯解Blasius solution 达朗贝尔佯廖d'Alembert paradox雷诺数Reynolds number 施特鲁哈尔数Strouhal number随体导数material derivative 不可压缩流体incompressible fluid质量守恒conservation of mass 动量守恒conservation of momentum能量守恒conservation of energy 动量方程momentum equation能量方程energy equation 控制体积control volume液体静压hydrostatic pressure 涡量拟能enstrophy压差differential pressure 流[动] flow流线stream line 流面stream surface流管stream tube 迹线path, path line流场flow field 流态flow regime流动参量flow parameter 流量flow rate, flow discharge涡旋vortex 涡量vorticity涡丝vortex filament 涡线vortex line涡面vortex surface 涡层vortex layer涡环vortex ring 涡对vortex pair涡管vortex tube 涡街vortex street卡门涡街Karman vortex street 马蹄涡horseshoe vortex对流涡胞convective cell 卷筒涡胞roll cell涡eddy 涡粘性eddy viscosity环流circulation 环量circulation速度环量velocity circulation 偶极子doublet, dipole驻点stagnation point 总压[力] total pressure总压头total head 静压头static head总焓total enthalpy 能量输运energy transport速度剖面velocity profile 库埃特流Couette flow单相流single phase flow 单组份流single-component flow均匀流uniform flow 非均匀流nonuniform flow二维流two-dimensional flow 三维流three-dimensional flow准定常流quasi-steady flow 非定常流unsteady flow, non-steady flow 暂态流transient flow 周期流periodic flow振荡流oscillatory flow 分层流stratified flow无旋流irrotational flow 有旋流rotational flow轴对称流axisymmetric flow 不可压缩性incompressibility不可压缩流[动] incompressible flow 浮体floating body定倾中心metacenter 阻力drag, resistance减阻drag reduction 表面力surface force表面张力surface tension 毛细[管]作用capillarity来流incoming flow 自由流free stream自由流线free stream line 外流external flow进口entrance, inlet 出口exit, outlet扰动disturbance, perturbation 分布distribution传播propagation 色散dispersion弥散dispersion 附加质量added mass ,associated mass收缩contraction 镜象法image method无量纲参数dimensionless parameter 几何相似geometric similarity运动相似kinematic similarity 动力相似[性] dynamic similarity平面流plane flow 势potential势流potential flow 速度势velocity potential复势complex potential 复速度complex velocity流函数stream function 源source汇sink 速度[水]头velocity head拐角流corner flow 空泡流cavity flow超空泡supercavity 超空泡流supercavity flow空气动力学aerodynamics低速空气动力学low-speed aerodynamics 高速空气动力学high-speed aerodynamics气动热力学aerothermodynamics 亚声速流[动] subsonic flow跨声速流[动] transonic flow 超声速流[动] supersonic flow锥形流conical flow 楔流wedge flow叶栅流cascade flow 非平衡流[动] non-equilibrium flow细长体slender body 细长度slenderness钝头体bluff body 钝体blunt body翼型airfoil 翼弦chord薄翼理论thin-airfoil theory 构型configuration后缘trailing edge 迎角angle of attack失速stall 脱体激波detached shock wave波阻wave drag 诱导阻力induced drag诱导速度induced velocity 临界雷诺数critical Reynolds number 前缘涡leading edge vortex 附着涡bound vortex约束涡confined vortex 气动中心aerodynamic center气动力aerodynamic force 气动噪声aerodynamic noise气动加热aerodynamic heating 离解dissociation地面效应ground effect 气体动力学gas dynamics稀疏波rarefaction wave 热状态方程thermal equation of state 喷管Nozzle 普朗特-迈耶流Prandtl-Meyer flow瑞利流Rayleigh flow 可压缩流[动] compressible flow可压缩流体compressible fluid 绝热流adiabatic flow非绝热流diabatic flow 未扰动流undisturbed flow等熵流isentropic flow 匀熵流homoentropic flow兰金-于戈尼奥条件Rankine-Hugoniot condition 状态方程equation of state量热状态方程caloric equation of state 完全气体perfect gas拉瓦尔喷管Laval nozzle 马赫角Mach angle马赫锥Mach cone 马赫线Mach line马赫数Mach number 马赫波Mach wave当地马赫数local Mach number 冲击波shock wave激波shock wave 正激波normal shock wave斜激波oblique shock wave 头波bow wave附体激波attached shock wave 激波阵面shock front激波层shock layer 压缩波compression wave反射reflection 折射refraction散射scattering 衍射diffraction绕射diffraction出口压力exit pressure 超压[强] over pressure反压back pressure 爆炸explosion爆轰detonation 缓燃deflagration水动力学hydrodynamics 液体动力学hydrodynamics泰勒不稳定性Taylor instability 盖斯特纳波Gerstner wave斯托克斯波Stokes wave 瑞利数Rayleigh number自由面free surface 波速wave speed, wave velocity波高wave height 波列wave train波群wave group 波能wave energy表面波surface wave 表面张力波capillary wave规则波regular wave 不规则波irregular wave浅水波shallow water wave深水波deep water wave 重力波gravity wave椭圆余弦波cnoidal wave 潮波tidal wave涌波surge wave 破碎波breaking wave船波ship wave 非线性波nonlinear wave孤立子soliton 水动[力]噪声hydrodynamic noise 水击water hammer 空化cavitation空化数cavitation number 空蚀cavitation damage超空化流supercavitating flow 水翼hydrofoil水力学hydraulics 洪水波flood wave涟漪ripple 消能energy dissipation海洋水动力学marine hydrodynamics 谢齐公式Chezy formula欧拉数Euler number 弗劳德数Froude number水力半径hydraulic radius 水力坡度hvdraulic slope高度水头elevating head 水头损失head loss水位water level 水跃hydraulic jump含水层aquifer 排水drainage排放量discharge 壅水曲线back water curve压[强水]头pressure head 过水断面flow cross-section明槽流open channel flow 孔流orifice flow无压流free surface flow 有压流pressure flow缓流subcritical flow 急流supercritical flow渐变流gradually varied flow 急变流rapidly varied flow临界流critical flow 异重流density current, gravity flow堰流weir flow 掺气流aerated flow含沙流sediment-laden stream 降水曲线dropdown curve沉积物sediment, deposit 沉[降堆]积sedimentation, deposition沉降速度settling velocity 流动稳定性flow stability不稳定性instability 奥尔-索末菲方程Orr-Sommerfeld equation 涡量方程vorticity equation 泊肃叶流Poiseuille flow奥辛流Oseen flow 剪切流shear flow粘性流[动] viscous flow 层流laminar flow分离流separated flow 二次流secondary flow近场流near field flow 远场流far field flow滞止流stagnation flow 尾流wake [flow]回流back flow 反流reverse flow射流jet 自由射流free jet管流pipe flow, tube flow 内流internal flow拟序结构coherent structure 猝发过程bursting process表观粘度apparent viscosity 运动粘性kinematic viscosity动力粘性dynamic viscosity 泊poise厘泊centipoise 厘沱centistoke剪切层shear layer 次层sublayer流动分离flow separation 层流分离laminar separation湍流分离turbulent separation 分离点separation point附着点attachment point 再附reattachment再层流化relaminarization 起动涡starting vortex驻涡standing vortex 涡旋破碎vortex breakdown涡旋脱落vortex shedding 压[力]降pressure drop压差阻力pressure drag 压力能pressure energy型阻profile drag 滑移速度slip velocity无滑移条件non-slip condition 壁剪应力skin friction, frictional drag 壁剪切速度friction velocity 磨擦损失friction loss磨擦因子friction factor 耗散dissipation滞后lag 相似性解similar solution局域相似local similarity 气体润滑gas lubrication液体动力润滑hydrodynamic lubrication 浆体slurry泰勒数Taylor number 纳维-斯托克斯方程Navier-Stokes equation 牛顿流体Newtonian fluid 边界层理论boundary later theory边界层方程boundary layer equation 边界层boundary layer附面层boundary layer 层流边界层laminar boundary layer湍流边界层turbulent boundary layer 温度边界层thermal boundary layer边界层转捩boundary layer transition 边界层分离boundary layer separation边界层厚度boundary layer thickness 位移厚度displacement thickness动量厚度momentum thickness 能量厚度energy thickness焓厚度enthalpy thickness 注入injection吸出suction 泰勒涡Taylor vortex速度亏损律velocity defect law 形状因子shape factor测速法anemometry 粘度测定法visco[si] metry流动显示flow visualization 油烟显示oil smoke visualization孔板流量计orifice meter 频率响应frequency response油膜显示oil film visualization 阴影法shadow method纹影法schlieren method 烟丝法smoke wire method丝线法tuft method 氢泡法nydrogen bubble method相似理论similarity theory 相似律similarity law部分相似partial similarity 定理pi theorem, Buckingham theorem 静[态]校准static calibration 动态校准dynamic calibration风洞wind tunnel 激波管shock tube激波管风洞shock tube wind tunnel 水洞water tunnel拖曳水池towing tank 旋臂水池rotating arm basin扩散段diffuser 测压孔pressure tap皮托管pitot tube 普雷斯顿管preston tube斯坦顿管Stanton tube 文丘里管Venturi tubeU形管U-tube 压强计manometer微压计micromanometer 多管压强计multiple manometer静压管static [pressure]tube 流速计anemometer风速管Pitot- static tube 激光多普勒测速计laser Doppler anemometer, laser Doppler velocimeter 热线流速计hot-wire anemometer热膜流速计hot- film anemometer 流量计flow meter粘度计visco[si] meter 涡量计vorticity meter传感器transducer, sensor 压强传感器pressure transducer热敏电阻thermistor 示踪物tracer时间线time line 脉线streak line尺度效应scale effect 壁效应wall effect堵塞blockage 堵寒效应blockage effect动态响应dynamic response 响应频率response frequency底压base pressure 菲克定律Fick law巴塞特力Basset force 埃克特数Eckert number格拉斯霍夫数Grashof number 努塞特数Nusselt number普朗特数prandtl number 雷诺比拟Reynolds analogy施密特数schmidt number 斯坦顿数Stanton number对流convection 自由对流natural convection, free convec-tion强迫对流forced convection 热对流heat convection质量传递mass transfer 传质系数mass transfer coefficient热量传递heat transfer 传热系数heat transfer coefficient对流传热convective heat transfer 辐射传热radiative heat transfer动量交换momentum transfer 能量传递energy transfer传导conduction 热传导conductive heat transfer热交换heat exchange 临界热通量critical heat flux浓度concentration 扩散diffusion扩散性diffusivity 扩散率diffusivity扩散速度diffusion velocity 分子扩散molecular diffusion沸腾boiling 蒸发evaporation气化gasification 凝结condensation成核nucleation 计算流体力学computational fluid mechanics 多重尺度问题multiple scale problem 伯格斯方程Burgers equation对流扩散方程convection diffusion equation KDU方程KDV equation修正微分方程modified differential equation 拉克斯等价定理Lax equivalence theorem 数值模拟numerical simulation 大涡模拟large eddy simulation数值粘性numerical viscosity 非线性不稳定性nonlinear instability希尔特稳定性分析Hirt stability analysis 相容条件consistency conditionCFL条件Courant- Friedrichs- Lewy condition ,CFL condition狄里克雷边界条件Dirichlet boundarycondition熵条件entropy condition 远场边界条件far field boundary condition流入边界条件inflow boundary condition无反射边界条件nonreflecting boundary condition数值边界条件numerical boundary condition流出边界条件outflow boundary condition冯.诺伊曼条件von Neumann condition 近似因子分解法approximate factorization method 人工压缩artificial compression 人工粘性artificial viscosity边界元法boundary element method 配置方法collocation method能量法energy method 有限体积法finite volume method流体网格法fluid in cell method, FLIC method通量校正传输法flux-corrected transport method通量矢量分解法flux vector splitting method 伽辽金法Galerkin method积分方法integral method 标记网格法marker and cell method, MAC method 特征线法method of characteristics 直线法method of lines矩量法moment method 多重网格法multi- grid method板块法panel method 质点网格法particle in cell method, PIC method 质点法particle method 预估校正法predictor-corrector method投影法projection method 准谱法pseudo-spectral method随机选取法random choice method 激波捕捉法shock-capturing method激波拟合法shock-fitting method 谱方法spectral method稀疏矩阵分解法split coefficient matrix method 不定常法time-dependent method时间分步法time splitting method 变分法variational method涡方法vortex method 隐格式implicit scheme显格式explicit scheme 交替方向隐格式alternating direction implicit scheme, ADI scheme 反扩散差分格式anti-diffusion difference scheme紧差分格式compact difference scheme 守恒差分格式conservation difference scheme 克兰克-尼科尔森格式Crank-Nicolson scheme杜福特-弗兰克尔格式Dufort-Frankel scheme指数格式exponential scheme 戈本诺夫格式Godunov scheme高分辨率格式high resolution scheme 拉克斯-温德罗夫格式Lax-Wendroff scheme 蛙跳格式leap-frog scheme 单调差分格式monotone difference scheme保单调差分格式monotonicity preserving diffe-rence scheme穆曼-科尔格式Murman-Cole scheme 半隐格式semi-implicit scheme斜迎风格式skew-upstream scheme全变差下降格式total variation decreasing scheme TVD scheme迎风格式upstream scheme , upwind scheme计算区域computational domain 物理区域physical domain影响域domain of influence 依赖域domain of dependence区域分解domain decomposition 维数分解dimensional split物理解physical solution 弱解weak solution黎曼解算子Riemann solver 守恒型conservation form弱守恒型weak conservation form 强守恒型strong conservation form散度型divergence form 贴体曲线坐标body- fitted curvilinear coordi-nates [自]适应网格[self-] adaptive mesh 适应网格生成adaptive grid generation自动网格生成automatic grid generation 数值网格生成numerical grid generation交错网格staggered mesh 网格雷诺数cell Reynolds number数植扩散numerical diffusion 数值耗散numerical dissipation数值色散numerical dispersion 数值通量numerical flux放大因子amplification factor 放大矩阵amplification matrix阻尼误差damping error 离散涡discrete vortex熵通量entropy flux 熵函数entropy function分步法fractional step method。

流体力学常用名词中英文对照

流体力学常用名词中英文对照

流体力学常用名词中英文对照流体力学常用名词流体动力学fluid dynamics连续介质力学mechanics of continuous介质medium流体质点fluid particle无粘性流体nonviscous fluid, inviscid连续介质假设continuous medium hypothesis流体运动学fluid kinematics水静力学hydrostatics液体静力学hydrostatics支配方程governing equation伯努利方程Bernoulli equation伯努利定理Bernonlli theorem毕奥-萨伐尔定律Biot-Savart law欧拉方程Euler equation亥姆霍兹定理Helmholtz theorem开尔文定理Kelvin theorem涡片vortex sheet库塔-茹可夫斯基条件Kutta-Zhoukowski condition 布拉休斯解Blasius solution达朗贝尔佯廖d'Alembert paradox雷诺数Reynolds number施特鲁哈尔数Strouhal number随体导数material derivative不可压缩流体incompressible fluid质量守恒conservation of mass动量守恒conservation of momentum能量守恒conservation of energy动量方程momentum equation能量方程energy equation控制体积control volume液体静压hydrostatic pressure涡量拟能enstrophy压差differential pressure流[动] flow流线stream line流面stream surface流管stream tube迹线path, path line流场flow field流态flow regime流动参量flow parameter流量flow rate, flow discharge涡旋vortex涡量vorticity涡丝vortex filament涡线vortex line涡面vortex surface涡层vortex layer涡环vortex ring涡对vortex pair涡管vortex tube涡街vortex street卡门涡街Karman vortex street马蹄涡horseshoe vortex对流涡胞convective cell卷筒涡胞roll cell涡eddy涡粘性eddy viscosity环流circulation环量circulation速度环量velocity circulation偶极子doublet, dipole驻点stagnation point总压[力] total pressure总压头total head静压头static head总焓total enthalpy能量输运energy transport速度剖面velocity profile库埃特流Couette flow单相流single phase flow单组份流single-component flow均匀流uniform flow非均匀流nonuniform flow二维流two-dimensional flow三维流three-dimensional flow准定常流quasi-steady flow非定常流unsteady flow, non-steady flow 暂态流transient flow周期流periodic flow振荡流oscillatory flow分层流stratified flow无旋流irrotational flow有旋流rotational flow轴对称流axisymmetric flow不可压缩性incompressibility不可压缩流[动] incompressible flow浮体floating body定倾中心metacenter阻力drag, resistance减阻drag reduction表面力surface force表面张力surface tension毛细[管]作用capillarity来流incoming flow自由流free stream自由流线free stream line外流external flow进口entrance, inlet出口exit, outlet扰动disturbance, perturbation分布distribution传播propagation色散dispersion弥散dispersion附加质量added mass ,associated mass收缩contraction镜象法image method无量纲参数dimensionless parameter几何相似geometric similarity运动相似kinematic similarity动力相似[性] dynamic similarity平面流plane flow势potential势流potential flow速度势velocity potential复势complex potential复速度complex velocity流函数stream function源source汇sink速度[水]头velocity head拐角流corner flow空泡流cavity flow超空泡supercavity超空泡流supercavity flow空气动力学aerodynamics低速空气动力学low-speed aerodynamics 高速空气动力学high-speed aerodynamics 气动热力学aerothermodynamics亚声速流[动] subsonic flow跨声速流[动] transonic flow超声速流[动] supersonic flow锥形流conical flow楔流wedge flow叶栅流cascade flow非平衡流[动] non-equilibrium flow细长体slender body细长度slenderness钝头体bluff body钝体blunt body翼型airfoil翼弦chord薄翼理论thin-airfoil theory构型configuration后缘trailing edge迎角angle of attack失速stall脱体激波detached shock wave波阻wave drag诱导阻力induced drag诱导速度induced velocity临界雷诺数critical Reynolds number 前缘涡leading edge vortex附着涡bound vortex约束涡confined vortex气动中心aerodynamic center气动力aerodynamic force气动噪声aerodynamic noise气动加热aerodynamic heating离解dissociation地面效应ground effect气体动力学gas dynamics稀疏波rarefaction wave热状态方程thermal equation of state 喷管Nozzle普朗特-迈耶流Prandtl-Meyer flow瑞利流Rayleigh flow可压缩流[动] compressible flow可压缩流体compressible fluid绝热流adiabatic flow非绝热流diabatic flow未扰动流undisturbed flow等熵流isentropic flow匀熵流homoentropic flow兰金-于戈尼奥条件Rankine-Hugoniot condition 状态方程equation of state量热状态方程caloric equation of state完全气体perfect gas拉瓦尔喷管Laval nozzle马赫角Mach angle马赫锥Mach cone马赫线Mach line马赫数Mach number马赫波Mach wave当地马赫数local Mach number冲击波shock wave激波shock wave正激波normal shock wave斜激波oblique shock wave头波bow wave附体激波attached shock wave激波阵面shock front激波层shock layer压缩波compression wave反射reflection折射refraction散射scattering衍射diffraction绕射diffraction出口压力exit pressure超压[强] over pressure反压back pressure爆炸explosion爆轰detonation缓燃deflagration水动力学hydrodynamics液体动力学hydrodynamics泰勒不稳定性Taylor instability盖斯特纳波Gerstner wave斯托克斯波Stokes wave瑞利数Rayleigh number自由面free surface波速wave speed, wave velocity波高wave height波列wave train波群wave group波能wave energy表面波surface wave表面张力波capillary wave规则波regular wave不规则波irregular wave浅水波shallow water wave深水波deep water wave重力波gravity wave椭圆余弦波cnoidal wave潮波tidal wave涌波surge wave破碎波breaking wave船波ship wave非线性波nonlinear wave孤立子soliton水动[力]噪声hydrodynamic noise水击water hammer空化cavitation空化数cavitation number空蚀cavitation damage超空化流supercavitating flow水翼hydrofoil水力学hydraulics洪水波flood wave涟漪ripple消能energy dissipation海洋水动力学marine hydrodynamics 谢齐公式Chezy formula欧拉数Euler number弗劳德数Froude number水力半径hydraulic radius水力坡度hvdraulic slope高度水头elevating head水头损失head loss水位water level水跃hydraulic jump含水层aquifer排水drainage排放量discharge壅水曲线back water curve压[强水]头pressure head过水断面flow cross-section明槽流open channel flow孔流orifice flow无压流free surface flow有压流pressure flow缓流subcritical flow急流supercritical flow渐变流gradually varied flow急变流rapidly varied flow临界流critical flow异重流density current, gravity flow堰流weir flow掺气流aerated flow含沙流sediment-laden stream降水曲线dropdown curve沉积物sediment, deposit沉[降堆]积sedimentation, deposition沉降速度settling velocity流动稳定性flow stability不稳定性instability奥尔-索末菲方程Orr-Sommerfeld equation 涡量方程vorticity equation泊肃叶流Poiseuille flow奥辛流Oseen flow剪切流shear flow粘性流[动] viscous flow层流laminar flow分离流separated flow二次流secondary flow近场流near field flow远场流far field flow滞止流stagnation flow尾流wake [flow]回流back flow反流reverse flow射流jet自由射流free jet管流pipe flow, tube flow内流internal flow拟序结构coherent structure猝发过程bursting process表观粘度apparent viscosity运动粘性kinematic viscosity动力粘性dynamic viscosity泊poise厘泊centipoise厘沱centistoke剪切层shear layer次层sublayer流动分离flow separation层流分离laminar separation湍流分离turbulent separation分离点separation point附着点attachment point再附reattachment再层流化relaminarization起动涡starting vortex驻涡standing vortex涡旋破碎vortex breakdown涡旋脱落vortex shedding压[力]降pressure drop压差阻力pressure drag压力能pressure energy型阻profile drag滑移速度slip velocity无滑移条件non-slip condition壁剪应力skin friction, frictional drag壁剪切速度friction velocity磨擦损失friction loss磨擦因子friction factor耗散dissipation滞后lag相似性解similar solution局域相似local similarity气体润滑gas lubrication液体动力润滑hydrodynamic lubrication浆体slurry泰勒数Taylor number纳维-斯托克斯方程Navier-Stokes equation 牛顿流体Newtonian fluid边界层理论boundary later theory边界层方程boundary layer equation边界层boundary layer附面层boundary layer层流边界层laminar boundary layer湍流边界层turbulent boundary layer温度边界层thermal boundary layer边界层转捩boundary layer transition边界层分离boundary layer separation边界层厚度boundary layer thickness位移厚度displacement thickness动量厚度momentum thickness能量厚度energy thickness焓厚度enthalpy thickness注入injection吸出suction泰勒涡Taylor vortex速度亏损律velocity defect law形状因子shape factor测速法anemometry粘度测定法visco[si] metry流动显示flow visualization油烟显示oil smoke visualization孔板流量计orifice meter频率响应frequency response油膜显示oil film visualization阴影法shadow method纹影法schlieren method烟丝法smoke wire method丝线法tuft method 说明氢泡法nydrogen bubble method相似理论similarity theory相似律similarity law部分相似partial similarity定理pi theorem, Buckingham theorem静[态]校准static calibration动态校准dynamic calibration风洞wind tunnel激波管shock tube激波管风洞shock tube wind tunnel水洞water tunnel拖曳水池towing tank旋臂水池rotating arm basin扩散段diffuser测压孔pressure tap皮托管pitot tube普雷斯顿管preston tube斯坦顿管Stanton tube文丘里管Venturi tubeU形管U-tube压强计manometer微压计micromanometer多管压强计multiple manometer静压管static [pressure]tube流速计anemometer风速管Pitot- static tube激光多普勒测速计laser Doppler anemometer,laser Doppler velocimeter热线流速计hot-wire anemometer热膜流速计hot- film anemometer流量计flow meter粘度计visco[si] meter涡量计vorticity meter传感器transducer, sensor压强传感器pressure transducer热敏电阻thermistor示踪物tracer时间线time line脉线streak line尺度效应scale effect壁效应wall effect堵塞blockage堵寒效应blockage effect动态响应dynamic response响应频率response frequency底压base pressure菲克定律Fick law巴塞特力Basset force埃克特数Eckert number格拉斯霍夫数Grashof number努塞特数Nusselt number普朗特数prandtl number雷诺比拟Reynolds analogy施密特数schmidt number斯坦顿数Stanton number对流convection自由对流natural convection, free convec-tion 强迫对流forced convection热对流heat convection质量传递mass transfer传质系数mass transfer coefficient热量传递heat transfer传热系数heat transfer coefficient对流传热convective heat transfer辐射传热radiative heat transfer动量交换momentum transfer能量传递energy transfer传导conduction热传导conductive heat transfer热交换heat exchange临界热通量critical heat flux浓度concentration扩散diffusion扩散性diffusivity扩散率diffusivity扩散速度diffusion velocity分子扩散molecular diffusion沸腾boiling蒸发evaporation气化gasification凝结condensation成核nucleation计算流体力学computational fluid mechanics多重尺度问题multiple scale problem伯格斯方程Burgers equation对流扩散方程convection diffusion equationKDU方程KDV equation修正微分方程modified differential equation拉克斯等价定理Lax equivalence theorem数值模拟numerical simulation大涡模拟large eddy simulation数值粘性numerical viscosity非线性不稳定性nonlinear instability希尔特稳定性分析Hirt stability analysis相容条件consistency conditionCFL条件Courant- Friedrichs- Lewy condition ,CFL condition 狄里克雷边界条件Dirichlet boundary condition熵条件entropy condition远场边界条件far field boundary condition流入边界条件inflow boundary condition无反射边界条件nonreflecting boundary condition数值边界条件numerical boundary condition流出边界条件outflow boundary condition冯.诺伊曼条件von Neumann condition近似因子分解法approximate factorization method人工压缩artificial compression人工粘性artificial viscosity边界元法boundary element method配置方法collocation method能量法energy method有限体积法finite volume method流体网格法fluid in cell method,FLIC method通量校正传输法flux-corrected transport method通量矢量分解法flux vector splitting method伽辽金法Galerkin method积分方法integral method标记网格法marker and cell method, MAC method特征线法method of characteristics直线法method of lines矩量法moment method多重网格法multi- grid method板块法panel method质点网格法particle in cell method, PIC method质点法particle method预估校正法predictor-corrector method投影法projection method准谱法pseudo-spectral method随机选取法random choice method激波捕捉法shock-capturing method激波拟合法shock-fitting method谱方法spectral method稀疏矩阵分解法split coefficient matrix method不定常法time-dependent method时间分步法time splitting method变分法variational method涡方法vortex method隐格式implicit scheme显格式explicit scheme交替方向隐格式alternating direction implicit scheme, ADI scheme 反扩散差分格式anti-diffusion difference scheme紧差分格式compact difference scheme守恒差分格式conservation difference scheme克兰克-尼科尔森格式Crank-Nicolson scheme杜福特-弗兰克尔格式Dufort-Frankel scheme指数格式exponential scheme戈本诺夫格式Godunov scheme高分辨率格式high resolution scheme拉克斯-温德罗夫格式Lax-Wendroff scheme蛙跳格式leap-frog scheme单调差分格式monotone difference scheme保单调差分格式monotonicity preserving diffe-rence scheme穆曼-科尔格式Murman-Cole scheme半隐格式semi-implicit scheme斜迎风格式skew-upstream scheme全变差下降格式total variation decreasing scheme TVD scheme迎风格式upstream scheme , upwind scheme计算区域computational domain物理区域physical domain影响域domain of influence依赖域domain of dependence区域分解domain decomposition维数分解dimensional split物理解physical solution弱解weak solution黎曼解算子Riemann solver守恒型conservation form弱守恒型weak conservation form强守恒型strong conservation form散度型divergence form贴体曲线坐标body- fitted curvilinear coordi-nates [自]适应网格[self-] adaptive mesh适应网格生成adaptive grid generation自动网格生成automatic grid generation数值网格生成numerical grid generation交错网格staggered mesh网格雷诺数cell Reynolds number数植扩散numerical diffusion数值耗散numerical dissipation数值色散numerical dispersion数值通量numerical flux放大因子amplification factor放大矩阵amplification matrix阻尼误差damping error离散涡discrete vortex熵通量entropy flux熵函数entropy function分步法fractional step method。

非阿基米德绝对值

非阿基米德绝对值

一个域到实数域内的一种映射。它是通常绝对值的推广。若φ是由域F到实数域R的映射,称φ为F上的一个 绝对值,若φ满足条件:
1、φ(a)≥0,φ(a)=0,当且仅当a=0(F的零元); 2、φ(ab)=φ(a)φ(b); 3、φ(a+b)≤Cmax{φ(a),φ(b)},其中a,b∈F,C为一常数,满足0<C≤2; 注意由条件1,2,3可推出三角不等式,即 4、φ(a+b)≤φ(a)+φ(b); 并且条件1,2,3与条件1,2,4是等价的。最常见的绝对值有:通常实数域的绝对值|·|,复数域上的模。
概念基础
赋值论
绝对值
域论的一个重要分支,它是研究交换代数的一个工具,特别是在代数数论、分歧理论、类域论和代数几何中 有极为重要的应用。通常的赋值可分为加法与乘法赋值两类,有时简称赋值。从赋值出发,可以给原来的域一个 拓扑结构,使之成为拓扑域。赋值理论肇始于屈尔沙克于1913年发表的论文。赋值、赋值域这些名词都是他首先 引入的。气候,经过奥斯特洛夫斯基(Ostrowski,A.M.)等人的工作,解决了屈尔沙克在论文中提出的问题, 并发展了这一理论。1932年,克鲁尔(Krull,W.)发表了题为《一般赋值理论》的基本论文,从而奠定了赋值 论这一分支的基础。时至今日,赋值理论已逐渐越出了“域”的界限,在许多代数结构上,例如群、环、向量空 间等,也用多种方式引进赋值,并由此对这些结构作算术理论的研究。此外,赋值论还渗入泛函分析的领域,发 展了所谓非阿基米德泛函分析。
谢谢观看
非阿基米德绝对值
数学术语
目录
01 概念基础
02
03 阿基米德绝对值
非阿基米德绝对值(non-Archimedean absolute value)亦称一阶赋值,是一类特殊的绝对值。与其相排斥 的为阿基米德绝对值。把绝对值区分为阿基米德绝对值和非阿基米德绝对值,来自奥斯特洛夫斯基(Ostrowski, A. M.)于1915chimedean absolute value)是与非阿基米德绝对值相排斥的另一种绝对值。设φ为F上 的绝对值,若φ满足三角不等式

Moyal Planes are Spectral Triples

Moyal Planes are Spectral Triples

a r X i v :h e p -t h /0307241v 3 7 O c t 2003CENTRE DE PHYSIQUE TH ´EORIQUE1CNRS–Luminy,Case 90713288Marseille Cedex 9FRANCEMoyal Planes are Spectral TriplesV.Gayral,2J.M.Gracia-Bond´ıa,3B.Iochum,2T.Sch¨u cker 2and J.C.V´a rilly 4,5Abstract Axioms for nonunital spectral triples,extending those introduced in the unital case by Connes,are proposed.As a guide,and for the sake of their importance in noncommutative quantum field theory,the spaces R 2N endowed with Moyal products are intensively investigated.Some physical applications,such as the construction of noncommutative Wick monomials and the computation of the Connes–Lott functional action,are given for these noncommutative hyperplanes.PACS numbers:11.10.Nx,02.30.Sa,11.15.Kc MSC–2000classes:46H35,46L52,58B34,81S30July 2003CPT–03/P.45461Unit´e Propre de Recherche 70612Also at Universit´e de Provence,gayral@cpt.univ-mrs.fr,iochum@cpt.univ-mrs.fr,schucker@cpt.univ-mrs.fr3Departamento de F´ısica,Universidad de Costa Rica,2060San Pedro,Costa Rica4Departamento de Matem´a ticas,Universidad de Costa Rica,2060San Pedro,Costa Rica 5Regular Associate of the Abdus Salam ICTP,34014Trieste;varilly@ictp.trieste.itContents1Introduction3 2The theory of distributions and Moyal analysis42.1Basic facts of Moyalology (5)2.2The oscillator basis (6)2.3Moyal multiplier algebras (8)2.4Smooth test function spaces,their duals and the Moyal product (10)2.5The preferred unitization of the Schwartz Moyal algebra (14)3Axioms for noncompact spin geometries173.1Generalization of the unital case conditions (17)3.2Modified conditions for nonunital spectral triples (19)3.3The commutative case (21)3.4On the Connes–Landi spaces example (22)4The Moyal2N-plane as a spectral triple234.1The compactness condition (23)4.2Spectral dimension of the Moyal planes (26)4.3The regularity condition (33)4.4Thefiniteness condition (34)4.5The other axioms for the Moyal2N-plane (35)5Moyal–Wick monomials365.1An algebraic mould (36)5.2The noncommutative Wick monomials (39)6The functional action416.1Connes–Terashima fermions (41)6.2The differential algebra (42)6.3The action (43)7Conclusions and outlook45 8Appendix:a few explicit formulas468.1On the oscillator basis functions (46)8.2More junk (47)21IntroductionSince Seiberg and Witten conclusively confirmed[79]that the endpoints of open strings in amagneticfield background effectively live on a noncommutative space,string theory has givenmuch impetus to noncommutativefield theory(NCFT).This noncommutative space turns outto be of the Moyal type,for which there already existed a respectable body of mathematicalknowledge,in connection with the phase-space formulation of quantum mechanics[65].However,NCFT is a problematic realm.Its bane is the trouble with both unitarity andcausality[39,78].Feynman rules for NCFT can be derived either using the canonical operatorformalism for quantizedfields,working with the scattering matrix in the Heisenberg picture bymeans of Yang–Feldman–K¨a ll´e n equations;or from the functional integral formalism.Thesetwo approaches clash[3],and there is the distinct possibility that both fail to make sense.Thedifficulties vanish if we look instead at NCFT in the Euclidean signature.Also,in spite of the tremendous influence on NCFT,direct and indirect,of the work by Connes,it is surprising thatNCFT based on the Moyal product as currently practised does not appeal to the spectral tripleformalism.So we may,and should,raise a basic question:namely,whether the Euclidean version ofMoyal noncommutativefield theory is compatible with the full strength of Connes’formulationof noncommutative geometry,or not.The prospective benefits of such an endeavour are mutual.Those interested in applicationsmay win a new toolkit,and Connes’paradigm stands to gain from careful consideration of newexamples.In order to speak of noncommutative spaces endowed with topological,differential and metricstructures,Connes has put forward an axiomatic scheme for“noncommutative spin manifolds”, which in fact is the end product of a long process of learning how to express the concept of anordinary spin manifold in algebraic and operatorial terms.A compact noncommutative spin manifold consists of a spectral triple(A,H,D),subject tothe six or seven special conditions laid out in[19]—and reviewed below in due course.Here Ais a unital algebra,represented on a Hilbert space H,together with a distinguished selfadjointoperator,the abstract Dirac operator D,whose resolvent is completely continuous,such thateach operator[D,a]for a∈A is bounded.A spectral triple is even if it possesses a Z2-gradingoperatorχcommuting with A and anticommuting with D.The key result is the reconstruction theorem[19,20]which recovers the classical geometryof a compact spin manifold M from the noncommutative setup,once the algebra of coordi-nates is assumed to be isomorphic to the space of smooth functions C∞(M).Details of this reconstruction are given in[45,Chapters10and11]and in a different vein in[71].Thus,for compact noncommutative spaces,the answer to our question is clearly in theaffirmative.Indeed thefirst worked examples of noncommutative differential geometries are thenoncommutative tori(NC tori),as introduced already in1980[14,74].It is a simple observationthat the NC torus can be obtained as an ordinary torus endowed with a periodic version of theMoyal product.The NC tori have been thoroughly exploited in NCFT[24,92].The restriction to compact noncommutative spaces(“compactness”being a metaphor for theunitality of the coordinate algebra A)is essentially a technical one,and no fundamental obstacleto extending the theory of spectral triples to nonunital algebras was foreseen.However,it isfair to say that so far a complete treatment of the nonunital case has not been written down.(There have been,of course,some noteworthy partial treatments:one can mention[41,73], which identify some of the outstanding issues.)The time has come to add a new twist to the tale.3In this article we show in detail how to build noncompact noncommutative spin geometries. The indispensable commutative example of noncompact manifolds is consideredfirst.Then the geometry associated to the Moyal product is laid out.One of the difficulties for doing this is to pin down a“natural”compactification or unitization(embedding of the coordinate algebra as an essential ideal in a unital algebra),the main idea being that the chosen Dirac operator must play a role in this choice.Since the resolvent of D is no longer compact,some adjustments need to be made;for instance,we now ask for a(D−λ)−1to be compact for a∈A andλ/∈sp D.Then,thanks to a variation of the famous Cwikel inequality[27,81]—often used for estimating bound states of Schr¨o dinger operators—we prove that the spectral triple(S(R2N),⋆Θ),L2(R2N)⊗C2N,−i∂µ⊗γµ ,where S denotes the space of Schwartz functions and⋆Θa Moyal product,is2N+-summable and has in fact the spectral dimension2N.The interplay between all suitable algebras containing (S(R2N),⋆Θ)must be validated by the orientation andfiniteness conditions[19,20].In so doing, we prove that the classical background of modern-day NCFTs doesfit in the framework of the rigorous Connes formalism for geometrical noncommutative spaces.This accomplished,the construction of noncommutative gauge theories,that we perform by means of the primitive form of the spectral action functional,is straightforward.The issue of understanding thefluctuations of the geometry,in order to develop“noncommutative grav-ity”[12]has not reached a comparable degree of mathematical maturity,and is not examined yet.As a byproduct of our analysis,and although we do not deal here with NCFT proper,a mathematically satisfactory construction of the Moyal–Wick monomials is also given.The main results in this paper have been announced and summarized in[38].Thefirst order of business is to review the Moyal product more carefully with due attention paid to the mathematical details.2The theory of distributions and Moyal analysisIn thisfirst paragraph wefix the notations and recall basic definitions.For anyfinite dimension k,letΘbe a real skewsymmetric k×k matrix,let s·t denote the usual scalar product on Euclidean R k and let S(R k)be the space of complex Schwartz(smooth,rapidly decreasing) functions on R k.One defines,for f,h∈S(R k),the corresponding Moyal or twisted product:f⋆Θh(x):=(2π)−k f(x−1have the dimensions of an action;one then selectsΘ= S := 01N −1N 0 .Indeed,the product ⋆(or rather,its commutator)was introduced in that context by Moyal [65],using a series developmentinpowers of whose first nontrivial term gives the Poisson bracket;later,it was rewritten in the above integral form.These are actually oscillatory integrals,of which Moyal’s series development,f ⋆g (x )= α∈N 2Ni α!∂f∂(Sx )α(x ),(2.3)is an asymptotic expansion.The development (2.3)holds —and sometimes becomes exact—under conditions spelled out in [33].The first integral form (2.1)of the Moyal product was exploited by Rieffel in a remarkable monograph [75],who made it the starting point for a more general deformation theory of C ∗-algebras.Since the problems we are concerned with in this paper are of functional analytic nature,there is little point in using the most general Θhere:we concentrate on the nondegenerate case and adopt the form Θ=θS with θreal.Therefore,the corresponding Moyal products are indexed by the real parameter θ;we denote them by ⋆θand usually omit explicit reference to N in the notation.The plan of the rest of this section is roughly as follows.The Schwartz space S (R 2N )endowed with these products is an algebra without unit and its unitization will not be unique.Below,after extending the Moyal product to large classes of distributions,we find and choose unitizations suitable for our construction of a noncompact spectral triple,and show that (S (R 2N ),⋆θ)is a pre-C ∗-algebra.We prove that the left Moyal product by a function f ∈S (R 2N )is a regularizing operator on R 2N .In connection with that,we examine the matter of Calder´o n–Vaillancourt-type theorems in Moyal analysis.We inspect as well the relation of our compactifications with NC tori.2.1Basic facts of MoyalologyWith the choice Θ=θS made,the Moyal product can also be writtenf⋆θg (x ):=(πθ)−2N f (y )g (z )e2i ∂x j (f⋆θg )=∂f ∂x j .(2.5)5(iv)Pointwise multiplication by any coordinate x j obeysx j(f⋆θg)=f⋆θ(x j g)+iθ∂(Sx)j⋆θg=(x j f)⋆θg−iθ∂(Sx)j.(2.6)(v)The product has the tracial property:f,g :=1(πθ)N g⋆θf(x)d2N x=12(x2l+x2l+N)for l=1,...,N and H:=H1+H2+···+H N, then the f mn diagonalize these harmonic oscillator Hamiltonians:H l⋆θf mn=θ(m l+12)f mn.(2.9)6They may be defined byf mn :=1θ|m |+|n |m !n !(a ∗)m ⋆θf 00⋆θa n ,(2.10)where f 00is the Gaussian function f 00(x ):=2N e −2H/θ,and the annihilation and creation functions respectively area l :=12(x l +ix l +N )and a ∗l :=12(x l −ix l +N ).(2.11)One finds that a n :=a n 11...a n N N =a ⋆θn 11⋆θ···⋆θa ⋆θn N N .These Wigner eigentransitions are already found in [46]and also in [6].(Incidentally,the “first”attributions in [36]are quite mistaken.)The f mn can be expressed with the help of Laguerre functions in the variables H l :see subsection 8.1of the Appendix.The next lemma summarizes their chief properties.Lemma 2.4.[43]Let m,n,k,l ∈N N .Then f mn ⋆θf kl =δnk f ml and f ∗mn =f nm .Thus f nn isan orthogonal projector and f mn is nilpotent for m =n .Moreover, f mn ,f kl =2N δmk δnl .The family {f mn :m,n ∈N N }⊂S ⊂L 2(R 2N )is an orthogonal basis.It is clear that e K := |n |≤K f nn ,for K ∈N ,defines a (not uniformly bounded)approximate unit {e K }for A θ.As a consequence of Lemma 2.4,the Moyal product has a matricial form.Proposition 2.5.[43]Let N =1.Then A θhas a Fr´e chet algebra isomorphism with the matrix algebra of rapidly decreasing double sequences c =(c mn )such that,for each k ∈N ,r k (c ):= ∞ m,n =0θ2k (m +12)k |c mn |2 1/2is finite,topologized by all the seminorms (r k );via the decomposition f = m,n ∈N N c mn f mnof S (R 2)in the {f mn }basis.For N >1,A θis isomorphic to the (projective)tensor product of N matrix algebras of this kind.Definition 2.6.We may as well introduce more Hilbert spaces G st (for s,t ∈R )of those f ∈S ′(R 2)for which the following sum is finite:f 2st :=∞ m,n =0θs +t (m +12)t |c mn |2.We define G st ,for s,t now in R N ,as the tensor product of Hilbert spaces G s 1t 1⊗···⊗G s N t N .In other words,the elements (2π)−N/2θ−(N +s +t )/2(m +12)−t/2f mn (with an obvious multiindex notation),for m,n ∈N N ,are declared to be an orthonormal basis for G st .If q ≤s and r ≤t in R N ,then S ⊂G st ⊆G qr ⊂S ′with continuous dense inclusions.Moreover,S = s,t ∈R N G st topologically (i.e.,the projective limit topology of the intersection induces the usual Fr´e chet space topology on S )and S ′= s,t ∈R N G st topologically (i.e.,theinductive limit topology of the union induces the usual DF topology on S ′).In particular,the expansion f = m,n ∈N N c mn f mn of f ∈S ′converges in the strong dual topology.We will use the notational convention that if F,G are spaces such that f⋆θg is defined whenever f ∈F and g ∈G ,then F ⋆θG is the linear span of the set {f⋆θg :f ∈F,g ∈G };in many cases of interest,this set is already a vector space.It is now easy to show that S ⋆θS =S ;more precisely,the following result holds.7Proposition 2.7.[43,p.877]The algebra (S ,⋆θ)has the (nonunique)factorization property:for all h ∈S there exist f,g ∈S such that h =f⋆θg .2.3Moyal multiplier algebrasDefinition 2.8.The Moyal product can be defined,by duality,on larger sets than S .For T ∈S ′,write the evaluation on g ∈S as T,g ∈C ;then,for f ∈S we may define T ⋆θf and f⋆θT as elements of S ′by T ⋆θf,g := T,f⋆θg and f⋆θT,g := T,g⋆θf ,using the continuity of the star product on S .Also,the involution is extended to S ′by T ∗,g :=(ii)⋆θis a bilinear associative product on L 2(R 2N ).The complex conjugation of functions f →f ∗is an involution for ⋆θ.(iii)The linear functional f → f (x )dx on S extends to I 00(R 2N ):=L 2(R 2N )⋆θL 2(R 2N ),and the product has the tracial property:f,g :=(πθ)−N f⋆θg (x )d 2N x =(πθ)−N g⋆θf (x )d 2N x =(πθ)−N f (x )g (x )d 2N x.We are not asserting that h =f⋆θg is absolutely integrable.We can nevertheless find u ∈S ′with u ∗⋆θu =1and |h |∈I 00so that h =u⋆θ|h |and |h |=l ∗⋆θl with l ∈G 00.Writing h 00,1:= 1,|h | = l 200,we obtain a Banach space norm for I 00such that f⋆θg 00,1≤ f 00 g 00.(iv)lim θ↓0L θf g (x )=f (x )g (x )almost everywhere on R2N .In subsection 8.1of the Appendix it is discussed why I 00⊂/L 1(R 2N ).Since f ∈I 00if and only if the Schr¨o dinger representative σθ(f )is trace-class (see the proof of the next Proposition 2.13),one can obtain sufficient conditions for f to belong in I 00from the treatment in [29].Definition 2.11.Let A θ:={T ∈S ′:T ⋆θg ∈L 2(R 2N )for all g ∈L 2(R 2N )},provided with the operator norm L θ(T ) op :=sup { T ⋆θg 2/ g 2:0=g ∈L 2(R 2N )}.Obviously A θ=S ֒→A θ.But A θis not dense in A θ(see below),and we shall denote by A 0θits closure in A θ.Note that G 00⊂A θ.This is clear from the following estimate.Lemma 2.12.[43]If f,g ∈L 2(R 2N ),then f⋆θg ∈L 2(R 2N )and L θf op ≤(2πθ)−N/2 f 2.Proof.Expand f = m,n c mn αmn and g = m,n d mn αmn with respect to the orthonormal basis{αnm }:=(2πθ)−N/2{f nm }of L 2(R 2N ).Thenf⋆θg 22=(2πθ)−2N m,l n c mn d nl f ml 22=(2πθ)−N m,l n c mn d nl 2≤(2πθ)−N m,j |c mj |2 k,l |d kl |2=(2πθ)−N f 22 g 22,on applying the Cauchy–Schwarz inequality.The algebra A θcontains moreover L 1(R 2N )and its Fourier transform [57],even the bounded measures and their Fourier transforms;the plane waves;but no nonconstant polynomials,nor derivatives of δ.The algebra A θis selfconjugate,and it could have been defined using right Moyal multiplication instead.Proposition 2.13.[56,90](A θ, . op )is a unital C ∗-algebra of operators on L 2(R 2N ),isomor-phic to L (L 2(R N ))and including L 2(R 2N ).Also,(I 00)′=A θ.Moreover,there is a continuous injection of ∗-algebras A θ֒→A θ,but A θis not dense in A θ,namely A 0θ A θ.Proof.We prove the nondensity result.The left regular representation L θof A θis a denumerable direct sum of copies of the Schr¨o dinger representation σθon L 2(R N )[66].Indeed,there is a unitary operator,the Wigner transformation W [36,90],from L 2(R 2N )onto L 2(R N )⊗L 2(R N ),such thatW L θ(f )W −1=σθ(f )⊗1.9If f ∈S ,then σθ(f )is a compact (indeed,trace-class)operator on L 2(R N ),and so A 0θequals {W −1(T ⊗1)W :T compact },while A θitself is {W −1(T ⊗1)W :T bounded }.Clearly thedual space is (A 0θ)′=I 00.Notice as well that conjugation by W yields an explicit isomorphismbetween A θand L (L 2(R N )).Consequently,A θis a Fr´e chet algebra whose topology is finer than the . op -topology.More-over,it is stable under holomorphic functional calculus in its C ∗-completion A 0θ,as the next proposition shows.Proposition 2.14.A θis a (nonunital)Fr´e chet pre-C ∗-algebra.Proof.We adapt the argument for the commutative case in [45,p.135].To show that A θis stable under the holomorphic functional calculus,we need only check that if f ∈A θand 1+f is invertible in A 0θwith inverse 1+g ,then the quasiinverse g of f must lie in A θ.From f +g +f⋆θg =0,we obtain f⋆θf +g⋆θf +f⋆θg⋆θf =0,and it is enough to show that f⋆θg⋆θf ∈A θ,since the previous relation then implies g⋆θf ∈A θ,and then g =−f −g⋆θf ∈A θalso.Now,A θ⊂G −r,0for any r >N [90,p.886].Since f ∈G s,p +r ∩G qt ,for s,t arbitrary and p,q positive,we conclude that f⋆θg⋆θf ∈G s,p +r ⋆θG −r,0⋆θG qt ⊂G st ;as S = s,t ∈R G st ,the proof is complete.The Fr´e chet algebras A θare automatically good (their sets of quasiinvertible elements are open);and by an old result of Banach [5],the quasiinversion operation is continuous in a good Fr´e chet algebra.Note that a good algebra with identity cannot have proper (even one-sided)dense ideals.However,the nonunital (M θL )′provides an example of a good Fr´e chet algebra that harbours A θas a proper dense left ideal [44].We noticed already that the extensions M θand A θof A θare quite different.Clearly M θis associated with smoothness;however,even though the Sobolev-like spaces G st grow more regular with increasing s and t [90],M θincludes none of them;in particular,L 2(R 2N )⊂/M θfor any θ.Be that as it may,the plane waves belong both to M θand A θ.One obtains for the Moyal product of plane waves:exp(ik ·)⋆θexp(il ·)=e −i2k ·Θl exp(i (k +l )·).(2.13)Therefore the plane waves close to an algebra,the Weyl algebra .It represents the translation group of R 2N : exp(ik ·)⋆θf⋆θexp(−ik ·) (x )=f (x +θSk ),for f ∈S or f ∈G 00,say.2.4Smooth test function spaces,their duals and the Moyal productHere there is a fascinating interplay.Recall that a pseudodifferential operator A ∈ΨDO on R k is a linear operator which can be written asA h (x )=(2π)−k σ[A ](x,ξ)h (y )e iξ·(x −y )d k ξd k y.10LetΨd:={A∈ΨDO:σ[A]∈S d}be the class ofΨDOs of order d,withS d:={σ∈C∞(R k×R k):|∂αx∂βξσ(x,ξ)|≤C Kαβ(1+|ξ|2)(d−|β|)/2for x∈K}, where K is any compact subset of R k,α,β∈N k,and C Kαβis some constant.AlsoΨ∞:= d∈RΨd andΨ−∞:= d∈RΨd.Recall,too,that aΨDO A is called regularizing or smoothing if A∈Ψ−∞,or equivalently[52,80],if A extends to a continuous linear map from the dual of the space of smooth functions C∞(R k)to itself.is a regularizingΨDO.Lemma2.15.If f∈S,then LθfProof.From(2.1),one at once sees that left Moyal multiplication by f is the pseudodifferential operator on R2N with symbol f(x−θSξ)|≤C Kαβ(1+|ξ|2)(d−|β|)/2,2valid for allα,β∈N2N,any compact K⊂R2N,and any d∈R,since f∈S.Remark2.16.Unlike for the case of a compact manifold,regularizingΨDOs are not necessarily compact operators.For instance,for each n,Lθ(f nn)possesses the eigenvalue1with infinite multiplicity,so it cannot be compact.Definition2.17.For m∈N,f∈C m(R k)—functions with m continuous derivatives—and γ,l∈R,letqγlm(f):=sup{(1+|x|2)(−l+γ|α|)/2|∂αf(x)|:x∈R k,|α|≤m};and then let Vmis Horv´a th’s space S m−2l[53].We define0,lVγ:= l∈R m∈N V mγ,l,and,more generally,Vγ,l:= m∈N V mγ,l,so that Vγ= l∈R Vγ,l.Particularly interesting cases include the space K:=V1of Grossmann–Loupias–Stein functions[47],whose dual K′is the space of Ces`a ro-summable distributions[34], the space O C:=V0whose dual O′C is the space of convolution multipliers(Fourier transforms of O M),and the space O T:=V−1[43].Similarly,K r:=V1,r and O r:=V0,r are defined.We see thatS= m∈N l∈R V m0,l.Following Schwartz,we denote B:=O0,the space of smooth functions bounded together with all derivatives.We shall also need˙B:= m∈N VThere are continuous inclusions D ֒→V γ֒→V γ′֒→O M ֒→D ′for γ>γ′;these are all normal spaces of distributions,namely,locally convex spaces which include S as a dense subspace and are continuously included in S ′.Also D L 2(density of S in this space follows from density of theSchwartz functions in L 2and invariance of S under derivations)and M θL ,M θR and M θ[90]arenormal space of distributions.By the way,there are suggestive Tauberian-type theorems for these spaces,establishing when their intersections with their respective dual spaces are included in S .Concretely,we quote the following result from [32].Proposition 2.18.If C is a space of smooth functions on R 2N which is closed under complex conjugation,and if the pointwise product space KC lies within C ,then C ∩C ′⊆S .In particular,V γ∩V ′γ=S for γ≤1.Also O M ∩O ′M =S and C∞∩(C ∞)′=D ⊂S .Now,what can be said about the relation of all these spaces with M θ?In [43]it is established that O ′T ,and a fortiori O ′M ,is included in M θ,for all θ.Therefore by Fourier analysis O C is included in M θfor all θ,and g⋆θf is defined as a tempered distribution whenever f,g ∈O C .Growth estimates may be obtained as follows.It is true that O C = r ∈R O r topologically.If g ∈O r and f ∈O s ,the following crucial proposition shows that the O r spaces have similar behaviour under pointwise and Moyal products.Proposition 2.19.The space O C is an associative ∗-algebra under the Moyal product.In fact,the Moyal product is a jointly continuous map from O r ×O s into O r +s ,for all r,s ∈R .Moreover,A θis a two sided essential ideal in O C .Proof.For the reader’s convenience,we reproduce part of Theorem 2of [35].Let f ∈O r and g ∈O s .By the Leibniz rule for the Moyal product,∂α(f⋆θg )= β+γ=α αβ ∂βf⋆θ∂γg .Hence we need only show that there are constants C rsm such that(1+|x |2)−(r +s )/2|(∂βf⋆θ∂γg )(x )|≤C rsm q 0rm (f )q 0sm (g )(2.14)for all x ∈R 2N ,for large enough m ≥|β|+|γ|.If k ∈N (to be determined later),we can write(∂βf⋆θ∂γg )(x )=(πθ)−2N ∂βf (x +y )(1+|z |2)k(1+|y |2)k (1+|z |2)k e 2i (1+|y |2)k∂γg (x +z )θy ·Sz d 2N y d 2N z =(πθ)−2N e 2i (1+|y |2)k ∂γg (x +z )(1+|y |2)k∂γ+k ′′g (x +z )(1+|y |2)k (1+|x +z |2)s/2m ≥|β|+|γ|+2N +max {r,s }),the integrals will be finite.The joint continuity now follows directly from the estimates (2.14).That S is a two-sided ideal in O C follows from the inclusion O C ⊂M θ.Essentiality for the ideal S =A θis equivalent [45,Prop.1.8]to g⋆θS =0for any nonzero g ∈O s ;but if g⋆θf mn =0for all m,n ,then in the expansion g = m,n c mn f mn (as an element of S ′,say)all coefficients must vanish,so that g =0.Similar results hold for V γwhen γ>0.Indeed,the Moyal product (f,g )→f⋆θg is a jointly continuous map from K r ×K s into K r +s ;moreover,f⋆θg −fg ∈K r +s −2,which is a bonus for semiclassical analysis (while on the contrary the similar statement for O r ×O s is in general false).For γ<0,we lose control of the estimates;indeed,Lassner and Lassner [59]gave an example of two functions in O T whose twisted product can be defined but is not a smooth function,but rather a distribution (of noncompact support).Also,in the next subsection we prove by counterexample that O T ⊂/M θL .The integral estimates on the derivatives of g⋆θf can be refined to show that in fact O M ⋆θO C =O M .However,since these estimates depend on the order of the derivatives in a complicated way,it is doubtful that the twisted product can be extended to O M .The regularizing property of ⋆θproved at the beginning of the section can be vastly improved,as follows.Proposition 2.20.[43]If T ∈S ′and f ∈S ,then T ⋆θf and f⋆θT lie in O T .Moreover,these bilinear maps of S ′×S and S ×S ′into O T are hypocontinuous.In fact,S ⋆θS ′equals (M θL )′,so the latter is made of smooth functions.But (M θL )′∩(M θL )′′=(M θL )′∩M θL =(M θL )′ S ;so (M θL )′and (M θR )′do not satisfy the conclusion ofProposition 2.18.(Here ′′of course denotes the strong bidual space,not a bicommutant.)Asdistributions,the elements of (M θL )′and (M θR )′belong to O ′C ,and a fortiori they are Ces`a ro summable [34].Finally,it is important to know when smooth functions give rise to elements of A 0θor A θ.Sufficient conditions are the following (quite strong)results of the Calder´o n–Vaillancourt type[36,54].Theorem 2.21.The inclusion V 2N +10,0⊂A θholds.In particular,B ⊂A θ.The inclusion V 2N +10,0.We have also proved that the function space B is a ∗-algebra under the Moyal product ⋆θfor any θ,in which A θis a two sided essential ideal.Recall that D L 2⊂˙B ⊂M θ.We will now show that D L 2is a ∗-algebra under the Moyal product as well.Lemma 2.22.(D L 2,⋆θ)is a ∗-algebra with continuous product and involution.Moreover,it is an ideal in (B ,⋆θ).Proof.The closure under the twisted product follows from the Leibniz rule and Lemma 2.12:∂α(f⋆θg ) 2≤(2πθ)−N/2 β≤ααβ ∂βf 2 ∂α−βg 2.This also shows that the product is separately continuous,indeed jointly continuous since D L 2is a Fr´e chet space.The continuity of the involution f →f ∗is immediate.The fact that D L 2is a two sided ideal in B comes directly from the stability of these spaces under partial derivations and from the inclusion B ⊂A θgiven by the previous theorem,since then ∂αf⋆θ∂βg 2<∞for all f ∈B ,g ∈D L 2and all α,β∈N 2N .132.5The preferred unitization of the Schwartz Moyal algebraAs with Stone–ˇCech compactifications,the algebras Mθare too vast to be of much practical use(in particular,to define noncommutative vector bundles).A more suitable unitization of Aθisgiven by the algebra Aθ:=(B,⋆θ).This algebra possesess an intrinsic characterization as the smooth commutant of right Moyal multiplication(see our comments at the end of subsection4.5).The inclusion of Aθin B is not dense,but this is not needed. Aθcontains the constant functions and the plane waves,but no nonconstant polynomials and no imaginary-quadratic exponentials, such as e iax1x2in the case N=1(we will see later the pertinence of this).Proposition2.23. Aθis a unital Fr´e chet pre-C∗-algebra.Proof.We already know that B is a unital∗-algebra with the Moyal product,and that⋆θiscontinuous in the topology of the Fr´e chet space B defined by the seminorms q00m,for m∈N. Its elements have all derivatives bounded,and so are uniformly continuous functions on R2N, as are their derivatives:the group of translationsτy f=f(·−y),for y∈R2N,acts strongly continuously on Aθ(i.e.,y→τy f is continuous for each f).This action preserves the seminorms q00m,and it is clear that B is a subspace of the space of smooth elements forτ,which we provisionally call A∞θ.The latter space has its own Fr´e chet topology,coming from the strongly continuous action.Rieffel[75,Thm.7.1]proves two im-portant properties in this setting:firstly,based on a density theorem of Dixmier and Malli-avin[30],that the inclusion B֒→A∞θis continuous and dense.Secondly,using a“Θ-twisting”of C∗-algebras with an R k-action which generalizes(2.1),whereby the pointwise product can be recovered as(B,⋆0)=( Aθ,⋆−θ),one obtains the reverse inclusion;thus,B=A∞θ.(Thus,the smooth subalgebra is independent ofΘ.)It is now easy to show that Aθ,as a subalgebra of the C∗-algebra Aθ,is stable under the holomorphic functional calculus.Indeed,since G(τy(f))=τy(G(f))for any function G which is holomorphic in the neighbourhood of sp Lθ(f)=sp Lθ(τy(f)),it is clear that f∈ Aθentails G(f)∈ Aθ.Clearly the C∗-algebra completion ofAθproperly contains A0θ;it is not known to us whether it is equal to Aθ.At any rate, Aθ≡B is nonseparable as it stands;there is,however,another topology on B,induced by the topology of C∞(R2N)[77,p.203],under which this space is separable.That latter topology is very natural in the context of commutative and Connes–Landi spaces(see subsections3.3and3.4).To investigate its pertinence in the context of Moyal spaces would take us too far afield.An advantage of Aθis that the covering relation of the noncommutative plane to the NC torus is made transparent.To wit,the smooth noncommutative torus algebra C∞(T2NΘ)can be embedded in B as periodic functions(with afixed period parallelogram).In that respect,it is well to recall[76,87]how far the algebraic structure of C∞(T2NΘ)can be obtained from the integral form(2.1)of(a periodic version of)the Moyal product. Anticipating on the next section,wefinally note the main reason for suitability of Aθ,namely, that each[D/,Lθ(f)⊗12N]lies in Aθ⊗M2N(C),for f∈ Aθand D/the Dirac operator on R2N.The previous proposition has another useful consequence.Corollary2.24.(D L2,⋆θ)is a(nonunital)Fr´e chet pre-C∗-algebra,whose C∗-completion is A0θ. Proof.The argument of the proof of Proposition2.14applies,with the following modifications. Firstly,S⊂D L2⊂A0θwith continuous inclusions,so that A0θis indeed the C∗-completion of(D L2,⋆θ).Indeed,for the second inclusion one can notice that if f∈D L2,then W Lθ(f)W−1=14。

On non commutative sinh-Gordon Equation

On non commutative sinh-Gordon Equation
On noncommutative sinh-Gordon equation
arXiv:hep-th/0605093v2 10 May 2006
U. Saleem1, M. Siddiq23 and M. Hassan4
Department of Physics, University of the Punjab, Quaid-e-Azam Campus, Lahore-54590, Pakistan.
1Байду номын сангаас
noncommutative version of Lax representation of the noncommutative sinh-Gordon equation. In Section 4, we expand the fields perturbatively and obtain zeroth and first order sinh-Gordon equations, the associated linear system and a set of parametric B¨ acklund transformation (BT) of the sinh-Gordon equation. It has been shown that the compatibility condition of the associated linear system and the B¨ acklund transformation (BT) is the sinh-Gordon equation at the perturbative level. Section 5, contains our conclusions.
Abstract We give a noncommutative extension of sinh-Gordon equation. We generalize a linear system and Lax representation of the sinh-Gordon equation in noncommutative space. This generalization gives a noncommutative version of the sinh-Gordon equation with extra constraints, which can be expressed as global conserved currents.

非牛顿流体

非牛顿流体

非牛顿流体科技名词定义中文名称:非牛顿流体英文名称:non-Newtonian fluid定义:黏度系数在剪切速率变化时不能保持为常数的流体。

所属学科:机械工程(一级学科);分析仪器(二级学科);物性分析仪器-物性分析仪器一般名词(三级学科)本内容由全国科学技术名词审定委员会审定公布目录编辑本段牛顿1687年发表了以水为工作介质的一维剪切流动的实验结果。

实验是在两平行平板间充满水时进行的(图1),下平板固定不动,上平板在其自身平面内以等速U向右运动。

此时附于上下平板的流体质点的速度分别为U和0,两平板间的速度呈线性分布。

由此得到了著名的牛顿粘性定律编辑本段相关理论斯托克斯1845年在牛顿这一实验定律的基础上,作了应力张量是应变率张量的线性函数、流体各向同性、流体静止时应变率为零的三项假设,从而导出了广泛应用于流体力学研究的线性本构方程,以及现被广泛应用的纳维-斯托克斯方程。

后来人们在进一步的研究中知道,牛顿粘性实验定律(以及在此基础上建立的纳-斯方程)对于描述像水和空气这样低分子量的流体是适合的,而对描述具有高分子量的流体就不合适了,那时剪应力与剪切应变率之间已不再满足线性关系。

为区别起见,人们将剪应力与剪切应变率之间满足线性关系的流体称为牛顿流体,而把不满足线性关系的流体称为非牛顿流体。

早在人类出现之前,非牛顿流体就已存在,因为绝大多数生物流体都属于现在所定义的非牛顿流体[1]。

人身上的血液、淋巴液、囊液等多种体液以及像细胞质那样的“半流体”都属于非牛顿流体。

现在去医院作血液测试的项目之一,已不再说是“血粘度检查”,而是“血液流变学检查”(简称血流变),这就是因为对血液而言,剪应力与剪切应变率之间不再是线性关系,已无法只给出一个斜率(即粘度) 来说明血液的力学特性。

非牛顿流体及其奇妙特性现在去医院作血液测试的项目之一,己不再是“血黏度检查”,而是“血液流变学捡查”(简称血流变),为什么会有这样的变化呢?这就要从非牛顿流体谈起。

Dirichlet boundary control of semilinear parabolic equation


126
N. Arada and J.-P. Raymond
initial condition belongs to Wad ⊂ L ∞ ( ), and A is a second-order elliptic operator of the form Ay(x ) = − iN , j =1 Di (aij ( x ) D j y ( x )) (where Di denotes the partial derivate with respect to xi ). We are interested in optimality conditions in the form of Pontryagin’s principles for the control problem (P) where J ( y , u , v, w) =
Linear-quadratic problems of the form ( P ) (when (x , t , y , u ) is of the form a (x , t ) y + u and J is quadratic) have been studied for 30 years [18], [14]. More recently the Dynamic Programming approach has been developed for Dirichlet boundary controls of nonlinear parabolic equations [5], [4], [12]. In this approach the state variable is a time-dependent function with values in a Hilbert space. Very recently, growing interest has been taken in the corresponding problems with pointwise state constraints [6], [9], [10], [17], [20], [21]. For such problems, it is natural to look for solutions in L ∞ ( Q ) or in Cb ( Q ) (the space of bounded continuous functions in Q ). The main purpose of Part 1 is to develop new tools to analyze the state equation when solutions are bounded and continuous in Q , and next to obtain Pontryagin’s principles. The corresponding problem with pointwise state constraints is studied in Part 2. Taking advantage of the fact that v belong to L ∞ ( ), we prove existence and regularity results for (1) by a method different from the ones previously mentioned. We define the solution y of (1) by the transposition method and we prove that it is the limit of a sequence of solutions for equations with a Robin boundary condition (Theorem 3.9). This kind of property is well known for solutions of linear hyperbolic equations [15], [19], or linear elliptic equations [7]. Here the novelty is that we use the same method for nonlinear equations to prove that solutions belong to Cb ( Q ∪ T ). Moreover, following [16], we think that this method may also be interesting for numerical approximations. We prove that optimal solutions satisfy three decoupled Pontryagin’s principles, one for the distributed control, one for the boundary control, and the last one for the control in the initial condition (Theorem 2.1). These optimality conditions are obtained with a method of diffuse perturbations. Expansions for diffuse perturbations of a boundary | d (x , ) > τ }× ]τ, T [ (see control are obtained only in subcylinders Q τ = {x ∈ Theorem 5.2). Such tools will be very useful to study the corresponding problems with pointwise state constraints in Part 2 [2]. The plan of the paper is as follows. Assumptions and the main result (Theorem 2.1) are stated in Section 2. The state equation, the linearized state equation, and estimates needed for the proof of Theorem 2.1 are studied in Section 3. We recall some results for the adjoint equation in Section 4. Taylor expansions for diffuse perturbations are obtained in Section 5 and the proof of Theorem 2.1 is given in Secttions and Main Result

潘勒韦猜想与N体问题

潘勒韦猜想与N体问题
史峻平
【期刊名称】《科学》
【年(卷),期】2001(0)6
【摘要】太阳系中所有行星及其卫星基本上都以太阳为中心参照物作周期运动。

然而,宇宙中并非所有星球都能保持这种运动。

今天各种街头小报上仍经常充斥一些"小行星将撞击地球,人类面临灭顶之灾"之类的"新闻"。

许多好莱坞电影更是使用现代电脑动画技术栩栩如生地向人们展示这种可怕的灾难。

尽管从科学上说,短期内人类并不用杞人忧天。

【总页数】4页(P20-23)
【关键词】潘勒韦猜想;N;体问题;非碰撞奇点
【作者】史峻平
【作者单位】美国威廉玛丽学院
【正文语种】中文
【中图分类】P132
【相关文献】
1.一类差分潘勒韦方程亚纯解的性质 [J], 陈宝琴;李升;
2.潘勒韦IV型差分方程亚纯解唯一性 [J], 张美娟; 林珊华
3.一类差分潘勒韦方程亚纯解的若干问题 [J], 刘孟月
4.一类差分潘勒韦方程亚纯解的若干问题 [J], 刘孟月
5.一类非线性波方程的潘勒韦分析、对称和精确解 [J], 刘汉泽;李雪霞
因版权原因,仅展示原文概要,查看原文内容请购买。

Cosmic Censorship in Quantum Gravity

2
where there is a static charged black hole which has the mass M larger than the charge Q, that is, M > Q in the geometrized units, for which we have two horizons, the inner Cauchy horizon and the outer event horizon. If one adds a stream of charged test particles with a large electric charge rather than its mass into this black hole, the initial black hole would turn to the black hole with the property of M < Q, where there is no horizon and a naked singularity is visible from external observers. If so, this would lead to a clean counter-example to cosmic censorship conjecture. But it was shown that one needs a lot of kinetic energy to exceed the extremal limit M = Q by this method so that the net increase of black hole mass is always larger than that of black hole charge 9]. Thus this implies that one cannot violate cosmic censorship in this physical setting. The main topic that we would like to address in this paper is that the above classical test of cosmic censorship remains true also in a quantum theory of general relativity. It is well known that while the outer horizon is a surface of in nite redshift, the inner Cauchy horizon is of in nite blueshift for our own asymptotically at universe. Therefore as the infalling lightlike matters approach the inner Cauchy horizon the energy density of it will su er an in nite blueshift, by which in the vicinity of the Cauchy horizon the curvature becomes extremely huge and quantum gravitational e ects would play a dominant role. This is one of our motivations of attempting to analyze cosmic censorship by means of quantum gravity. At present, as is well known, we do not have a good grasp of a fully satisfactory and mathematically consistent theory of quantum gravity yet. However, it has been recently pointed out that one can construct models of quantum black holes in the spherically symmetric geometry at least near the horizons and/or the singularities, and then the models were applied fruitfully to clarify physically interesting problems such as the Hawking radiation 10, 11, 12], the mass in ation 13] and the quantum instability of the black hole singularity in three dimensions 14]. The key observation behind these works is that the problems associated with quantum black holes have at all events an intimate relationship with the quantum-mechanical be3

Strong gravitational lensing in a noncommutative black-hole spacetime

a r X i v :1012.1670v 3 [g r -q c ] 19 F eb 2011Strong gravitational lensing in a noncommutative black-hole spacetimeChikun Ding,∗Shuai Kang,and Chang-Yong ChenDepartment of Physics and Information Engineering,Hunan Institute of Humanities Science and Technology,Loudi,Hunan 417000,P.R.ChinaSongbai Chen †and Jiliang Jing ‡Institute of Physics and Department of Physics,Hunan Normal University,Changsha,Hunan 410081,P.R.China Key Laboratory of Low Dimensional Quantum Structures and Quantum Control (Hunan Normal University),Ministry of Education,P.R.China.AbstractNoncommutative geometry may be a starting point to a quantum gravity.We study the influence of the spacetime noncommutative parameter on the strong field gravitational lensing in the non-commutative Schwarzschild black-hole spacetime and obtain the angular position and magnification of the relativistic images.Supposing that the gravitational field of the supermassive central object of the galaxy described by this metric,we estimate the numerical values of the coefficients and ob-servables for strong gravitational paring to the Reissner-Norstr¨o m black hole,we find that the influences of the spacetime noncommutative parameter is similar to those of the charge,just these influences are much smaller.This may offer a way to distinguish a noncommutative black hole from a Reissner-Norstr¨o m black hole,and may probe the spacetime noncommutative constant ϑ[1]by the astronomical instruments in the future.PACS numbers:04.70.-s,95.30.Sf,97.60.LfI.INTRODUCTIONThe theoretical discovery of radiating black holes disclosed thefirst window on the mysteries of quantum gravity.Though after thirty years of intensive research,the full quantum gravity is still unknown.However there are two candidates for quantum gravity,which are the string theory and the loop quantum gravity.By the string/black hole correspondence principle[2],stringy effects cannot be neglected in the late stage of a black hole.In the string theory,coordinates of the target spacetime become noncommutating operators on a D-brane as[3][ˆxµ,ˆxν]=iϑµν,(1.1) whereϑµνis a real,anti-symmetric and constant tensor which determines the fundamental cell discretization of spacetime much in the same way as the Planck constant discretizes the phase space,[ˆx i,ˆp j]=i δij. Motivated by string theory arguments,noncommutative spacetime has been reconsidered again and is believed to afford a starting point to quantum gravity.Noncommutative spacetime is not a new conception,and coordinate noncommutativity also appears in anotherfields,such as in quantum Hall effect[4],cosmology[5],the model of a very slowly moving charged particle on a constant magneticfield[6],the Chern-Simon’s theory[7],and so on.The idea of noncommutative spacetime dates back to Snyder[8]who used the noncommutative structure of spacetime to introduce a small length scale cut-offinfield theory without breaking Lorentz invariance and Yang[9]who extended Snyder’s work to quantize spacetime in1947before the renormalization theory.Noncommutative geometry[10]is a branch of mathematics that has many applications in physics,a good review of the noncommutative spacetime is in[11,12].The fundamental notion of the noncommutative geometry is that the picture of spacetime as a manifold of points breaks down at distance scales of the order of the Planck length:Spacetime events cannot be localized with an accuracy given by Planck length[12]as well as particles do in the quantum phase space.So that the points on the classical commutative manifold should then be replaced by states on a noncommutative algebra and the point-like object is replaced by a smeared object[13]to cure the singularity problems at the terminal stage of black hole evaporation[14].The approach to noncommutative quantumfield theory follows two paths:one is based on the Weyl-Wigner-Moyal*-product and the other on coordinate coherent state formalism[13].In a recent paper,following the coherent state approach,it has been shown that Lorentz invariance and unitary,which are controversial questions raised in the*-product approach[15],can be achieved by assumingϑµν=ϑdiag(ǫ1,...,ǫD/2),(1.2) whereϑ[1]is a constant which has the dimension of length2,D is the dimension of spacetime[16]and,there isn’t any UV/IR mixing.Inspire by these results,various black hole solutions of noncommutative spacetime have been found[17];thermodynamic properties of the noncommutative black hole were studied in[18];the evaporation of the noncommutative black hole was studied in[19];quantized entropy was studied in[20],and so on.It is interesting that the noncommutative spacetime coordinates introduce a new fundamental natural length √scalebe described by this metric and then obtain the numerical results for the observational gravitational lensing parameters defined in Sec.II.Then,we make a comparison between the properties of gravitational lensing in the noncommutative Schwarzschild and Reissner-Norstr¨o m metrics.In Sec.IV,we present a summary.II.DEFLECTION ANGLE IN THE NONCOMMUTATIVE SCHW ARZSCHILD BLACK HOLESPACETIMEThe line element of the noncommutative Schwarzschild black hole reads[14]ds2=−f(r)dt2+dr2r√ϑ→∞.And Eq.(2.1)leads to the mass distribution m(r)=2Mγ 3/2,r2/4ϑ /√ϑ,the event horizons are given byr±=4Mπγ 3/2,r2±/4ϑ ,(2.4)which behaviors as that of Reissner-Norstr¨o m black hole.The line element(2.1)describes the geometry of a noncommutative black hole and should give us useful insights about possible spacetime noncommutative effects on strong gravitational lensing.As in[27,28,30],we set2M=1and rewrite the metric(2.1)asds2=−A(r)dt2+B(r)dr2+C(r) dθ2+sin2θdφ2 ,(2.5) withA(r)=f(r),B(r)=1/f(r),C(r)=r2.(2.6) The deflection angle for the photon coming from infinite can be expressed asα(r0)=I(r0)−π,(2.7)where r 0is the closest approach distance and I (r 0)is [27,28]I(r 0)=2∞r 0C (r )A (r 0)C (r )=A ′(r )2−r 3psπϑe−r 2ps√2,r 2psϑ.ϑ0.2540.2420.230r ps 1.494051.497211.49890√0.2180.2060.1940.1821.499621.499891.499981.50000ϑ→0,it can recovers that in the commutative Schwarzschild black hole spacetime whichr ps =1.5.Fig.1shows that the relation between the photon sphere radius and the spacetime noncommutative parameter ϑis very coincident to the functionr ps =1.5−7.8×107√ϑ∈(0,19−32q 2)/4,which implies that there exist some distinct effects of the noncommutative parameterϑon gravitational lensing in the strong field limit.FIG.1:Thefigure is for the radius of the photon sphere in the noncommutative Schwarzschild black hole spacetime √with differentϑ17.Following the method developed by Bozza[30,37],we define a variabler0z=1−A(r)B(r)C(r0)wherep(r0)=2−3√2,r202ϑ√4ϑ,q(r0)=3√2,r204ϑ√4ϑ 2+r20u ps−1+¯b+O(u−u ps),(2.19) where¯a=R(0,r ps)q(r ps)= 1−r4psπϑe−r2ps2,¯b=−π+bR +¯a log4q2(r ps) 2A(r ps)−r2ps A′′(r ps)A3(r ps),b R=I R(r ps),p′(r ps)=dpϑas in[30].Because the values of various low derivative of integrand ofI R(r ps)atϑ→0is zero,we can getb R=2log[6(2−√ϑ).(2.21) Then we can obtain the¯a,¯b and u ps,and describe them in Fig(2).Figures(2)tell us that with the increase ofϑthe coefficient¯a increase,the¯b slowly increases atfirst,then decrease quickly when it arrives at a peak, and the minimum impact parameter u ps decreases,which is similar to that in the Reissner-Norstr¨o m black hole metric.However,as shown in Fig.(2),in the noncommutative Schwarzschild black hole,¯a increases more slowly,both of¯b and u ps decrease more slowly.In a word,comparing to the Reissner-Nordstrom black hole,the influences of the spacetime noncommutative parameter on the strong gravitational lensing is similar to those of the charge,merely they are much smaller.On the other side,in principle we can distinguish a noncommutative Schwarzschild black hole from the Reissner-Nordstrom black hole and,may be probe the value of the spacetime noncommutative constant by using strongfield gravitational lensing.0.100.120.140.160.180.200.220.241.0001.0011.0021.0031.0041.005a0.100.120.140.160.180.200.220.240.400280.400260.400240.400220.40020b0.100.120.140.160.180.200.220.242.597942.597962.597982.598002.598022.598042.59806u p sq a0.100.150.200.250.300.350.400.4040.4020.4000.3980.396qbqu p sFIG.2:Variation of the coefficients of the strong field limit ¯a ,¯b and the minimum impact parameter u ps with the spacetime noncommutative parameter√ϑ.Considering the source,lens and observer are highly aligned,the lens equation in strong gravitational lensing can be written as [39]β=θ−D LSbetween the source and the lens,θis the angular separation between the image and the lens,∆αn=α−2nπis the offset of deflection angle and n is an integer.The position of the n-th relativistic image can be approximated asu ps e n(β−θ0n)D OSθn=θ0n+¯a,(2.24)θ0n are the image positions corresponding toα=2nπ.The magnification of n-th relativistic image is given byu2ps e n(1+e n)D OSµn=∞n=2µn.(2.28) For highly aligned source,lens and observer geometry,these observable can be simplified ass=θ∞e¯b−2π¯a.(2.29) The strong deflection limit coefficients¯a,¯b and the minimum impact parameter u ps can be obtain through measuring s,R andθ∞.Then,comparing their values with those predicted by the theoretical models,we can identify the nature of the black hole lens.III.NUMERICAL ESTIMATION OF OBSER V ATIONAL GRA VITATIONAL LENSINGPARAMETERSIn this section,supposing that the gravitational field of the supermassive black hole at the galactic center of Milk Way can be described by the noncommutative Schwarzschild black hole metric,we estimate the numerical values for the coefficients and observables of the strong gravitational lensing,and then we study the effect of the spacetime noncommutative parameter ϑon the gravitational lensing.The mass of the central object of our Galaxy is estimated to be 2.8×106M ⊙and its distance is around 8.5kpc.For different ϑ,the numerical value of the minimum impact parameter u ps ,the angular position of the asymptotic relativistic images θ∞,the angular separation s and the relative magnification of the outermost relativistic image with the other relativistic images r m are listed in the table (II).It is easy to obtain thatTABLE II:Numerical estimation for main observables and the strong field limit coefficients for black hole at the center of our galaxy,which is supposed to be described by the noncommutative Schwarzschild black hole metric.R s is Schwarzschild radius.r m =2.5log R .ϑs (µarcsecs)u ps /R S¯b16.8706.82191.0000.160.021092.59808−0.4002316.86996.821701.000030.200.021162.59807−0.4001916.86936.800521.003140.240.023042.59752−0.4005816.85506.547741.041870.100.120.140.160.180.200.220.2416.869016.869216.869416.869616.8698Θ0.100.120.140.160.180.200.220.246.7856.7906.7956.8006.8056.8106.8156.820r m0.100.120.140.160.180.200.220.240.02110.02120.02130.02140.02150.02160.02170.0218 s0.100.150.200.250.300.350.4014.515.015.516.016.5qΘ0.100.150.200.250.300.350.406.06.26.46.66.8qr m0.100.150.200.250.300.350.400.0250.0300.035qsFIG.4:Strong gravitational lensing by the Galactic center black hole.Variation of the values of the angular positionθ∞,the relative magnitudes r m and the angular separation s with parameter√the table(II),we alsofind that as the parameterϑincreases,the minimum impact parameter u ps,the angular position of the relativistic imagesθ∞and the relative magnitudes r m decrease,but the angular separation s increases.From Fig.(4),wefind that in the noncommutative Schwarzschild black hole with the increase of parameter ϑ,the angular positionθ∞and magnitudes r m decreases more slowly,angular separation s increases more slowly than those in the Reissner-Norstr¨o m black hole spacetime.This means that the bending angle is smaller and the relative magnification of the outermost relativistic image with the other relativistic images is bigger in the noncommutative Schwarzschild black hole spacetime.In order to identify the nature of these two compact objects lensing,it is necessary for us to measure angular separation s and the relative magnification r m in the astronomical observations.Tables(II)tell us that the resolution of the extremely faint image is∼0.03µarc sec,which is too small.However,with the development of technology,the effects of the spacetime noncommutative constantϑon gravitational lensing may be detected in the future.IV.SUMMARYNoncommutative geometry may be a starting point to a quantum gravity.Spacetime noncommutative constant would be a new fundamental natural constant which can affect the classical gravitational effect such as gravitational lensing.Studying the strong gravitational lensing can help us to probe the spacetime noncommutative constant and the noncommutative gravity.In this paper we have investigated strongfield lensing in the noncommutative Schwarzschild black hole spacetime to study the influence of the spacetime noncommutative parameter on the strong gravitational lensing.The model was applied to the supermassive black hole in the Galactic center.Our results show that with the increase of the parameterϑthe minimum impact parameter u ps,the angular position of the relativistic imagesθ∞and the relative magnitudes r m decrease,and the angular separation s paring to the Reissner-Norstr¨o m black hole,wefind that the angular positionθ∞and magnitude r m decrease more slowly,angular separation s increases more slowly.In a word,the influences of spacetime noncommutative parameter are similar to those of the charge, just they are much smaller.This may offer a way to distinguish a noncommutative Schwarzschild black hole from a Reissner-Norstr¨o m black hole by the astronomical instruments in the future.AcknowledgmentsThis work was partially supported by the Scientific Research Foundation for the introduced talents of Hunan Institute of Humanities Science and Technology.S.Kang’s work was supported by the National Natural Science Foundation of China(NNSFC)No.10947101;C.-Y.Chen’s work was supported by the NNSFC No.11074070; J.Jing’s work was supported by the NNSFC No.10675045,No.10875040and No.10935013,973Program No. 2010CB833004and the HPNSFC No.08JJ3010S.Chen’s work was supported by the NNSFC No.10875041, the PCSIRT No.IRT0964and the construct program of key disciplines in Hunan Province.[1]The notationϑused here is a constant as well as Plank constant ,but we still call it as a spacetime noncommutativeparameter since it up to now is undetermined.[2]L.Susskind,Phys.Rev.D712367(1993).[3]N.Seiberg and E.Witten,J.High Energy Phys.09(1999)032;E.Witten,Nucl.Phys.B460335(1996).[4]J.Bellissard,A.van Elst and H.Schulz-Baldes,J.Math.Phys.355373(1994).[5]M.Marcolli and E.Pierpaoli,arXiv:0908.3683[6]W.T.Kim and J.J.Oh,Mod.Phys.Lett.A151597(2000).[7]S.Deser,R.Jackiw and S.Templeton,Ann.Phys.140372(1982),[Erratum ibid.185406(1988)][Ann.Phys.(NY)281(2000)409].[8]H.S.Snyder,Phys.Rev.7138(1947);Phys.Rev.7268,(1947).[9]C.N.Yang,Phys.Rev.72874,(1947).[10]A.Connes,Noncommutative Geometry,Academic Press,New York,(1994).[11]A.Connes and M.Marcolli,math.QA/0601054.[12]E.Akofor,arXiv:1012.5133[gr-qc].[13]A.Smailagic and E.Spallucci,J.Phys.A36L467(2003),A.Smailagic and E.Spallucci,J.Phys.A36L517(2003),[14]P.Nicolini,A.Smailagic and E.Spallucci,Phys.Lett.B632,547(2006).[15]J.Gomis and T.Mehen,Nucl.Phys.B591265(2000);K.Morita,Y.Okumura and E.Umezawa,Prog.Theor.Phys.110989(2003);P.Fischer and V.Putz Eur.Phys.J.C32269(2004);Y.Liao and K.Sibold Eur.Phys.J.C25479(2002);T.Ohl R.R¨u ckl and J.Zeiner,Nucl.Phys.B676229(2004).[16]A.Smailagic,E.Spallucci,J.Phys.A377169(2004).[17]P.Nicolini,Int.J.Mod.Phys.A24,1229(2009);S.Ansoldi,P.Nicolini,A.Smailagic and E.Spallucci,Phys.Lett.B645,261(2007);P.Nicolini and E.Spallucci,Class.Quant.Grav.27015010(2010); A.Smailagic and E.Spallucci,Phys.Lett.B688,82(2010);L.Modesto and P.Nicolini,Phys.Rev.D82,104035(2010);E.Spallucci,A.Smailagic and P.Nicolini,Phys.Lett.B670,449(2009).[18]K.Nozari and S.H.Mehdipour,Class.Quant.Grav.25175015,(2008);W.Kim,E.J.Son and M.Yoon,JHEP0804(2008)042;B.Vakili,N.Khosravi and H.R.Sepangi,Int.J.Mod.Phys.D18159,(2009);M.Buric andJ.Madore,Eur.Phys.J.C58347,(2008);W.H.Huang and K.W.Huang,Phys.Lett.B670416,(2009);M.Park,Phys.Rev.D8*******,(2009);K.Nozari and S.H.Mehdipour,JHEP0903(2009)061;J.J.Oh andC.Park,arXiv:0906.4428[gr-qc];I.Arraut,D.Batic and M.Nowakowski,arXiv:1001.2226[gr-qc];D.M.Gingrich,arXiv:1003.1798[hep-ph].[19]H.Garcia-Compean and C.Soto-Campos,Phys.Rev.D7*******,(2006);E.D.Grezia,G.Esposito and G.Miele,Class.Quant.Grav.236425,(2006);E.D.Grezia,G.Esposito and G.Miele,J.Phys.A41164063,(2008);Y.S.Myung,Y.W.Kim and Y.J.Park,JHEP0702(2007)012;R.Casadio and P.Nicolini,JHEP0811(2008) 072.[20]S.W.Wei,Y.X.Liu,Z.H.Zhao and C.-E Fu,arXiv:1004.2005v2[hep-th];[21]P.Schneider,J.Ehlers,and E.E.Falco,Gravitational Lenses,Springer-Verlag,Berlin(1992).[22]A.F.Zakharov,Gravitational Lenses and Microlenses,Janus-K,Moscow(1997).[23]R.D.Blandford and R.Narayan,Annu.Rev.Astron.Astrophys.30,311(1992).[24]C.Darwin,Proc.R.Soc.London,249,180(1959).[25]K.S.Virbhadra,D.Narasimha and S.M.Chitre,Astron.Astrophys.337,18(1998).[26]K.S.Virbhadra and G.F.R.Ellis,Phys.Rev.D62,084003(2000).[27]C.M.Claudel,K.S.Virbhadra and G.F.R.Ellis,J.Math.Phys.42,818(2001).[28]K.S.Virbhadra and G.F.R.Ellis,Phys.Rev.D65,103004(2002).[29]S.Frittelly,T.P.Kling and E.T.Newman,Phys.Rev.D61,064021(2000).[30]V.Bozza,Phys.Rev.D66,103001(2002).[31]A.Bhadra,Phys.Rev.D67,103009(2003).[32]K.Sarkar and A.Bhadra,Class.Quant.Grav.23,6101(2006).[33]E.F.Eiroa,G.E.Romero and D.F.Torres,Phys.Rev.D66,024010(2002).[34]R.A.Konoplya,Phys.Rev.D74,124015(2006);Phys.Lett.B644,219(2007).[35]N.Mukherjee and A.S.Majumdar,astro-ph/0605224(2006).[36]V.Perlick,Phys.Rev.D69,064017(2004).[37]S.Chen and J.Jing,Phys.Rev.D80,024036(2009).[38]A.Y.Bin-Nun,arXiv:1011.5848[gr-qc].[39]V.Bozza,S.Capozziello,G.lovane and G.Scarpetta,Gen.Rel.Grav.33,1535(2001).。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
n fnn
time, an integration
mn fmn |m 2 Note
for f (z, z ¯) =
n|. [1]
1 z
that here
is defined in operator formalism and this differs from z −1 in the usual star
product formalism unless θ = 0.
3
1 This definition leads to z 1 =z z ¯ = 1, however, one can see z ¯
1 1 z=z ¯ = 1 − | 0 0| . z ¯ z Thus the derivative of ∂z ¯
1
The differentiation is expressed as ∂z f = [f, z ¯]/(2θ ) and ∂z ¯f = [z, f ]/(2θ ). At the same d2 xf (z, z ¯) in the noncommutative theory means 2πθ
2 /θ
.
For later use, we define2 the inverses of z and z ¯ as 1 1 1 ∞ √ |n + 1 n| = ≡√ z 2θ n=0 n + 1 1 1 ∞ 1 √ ≡√ | n n + 1| = ¯ z 2θ n=0 n + 1 1 2 (1 − e−r /θ )e−iϕ , r 1 2 (1 − e−r /θ )eiϕ . r (6) (7)
Abstract
Noncommutative gravity in three dimensions with vanishing cosmological constant is examined. We find a solution which describes a spacetime in the presence of a torsional source. We estimate the phase shift for each partial wave of a scalar field in the spacetime by the Born approximation. PACS number(s): 04.60.Kz, 11.10.Kk, 11.80.Et, 11.80.Fv
where θ is a real, positive constant. Then the “uncertainty” lies between x and y , namely, ∆x∆y ≥ θ , 2 (2)
(where a numerical factor has omitted). This implies existence of a minimal length scale √ ≈ θ. If complex combinations of the coordinates, z = x + iy and z ¯ = x − iy , are introduced, they satisfy [ z, z ¯ ] = 2θ . (3)
1 z
(8)
and
1 z ¯
turns out to be ∂z 1 1 1 1 1 2 = ,z ¯ = |0 0| = e−r /θ . ¯ z 2θ ¯ z 2θ θ (9)
1 1 1 1 2 1 z, = |0 0| = e−r /θ , = z 2θ z 2θ θ
Interestingly enough, in the commutative limit, we find 1 −r2 /θ θ→0 e −→ π δ (x)δ (y ) . θ (10)
III. THREE DIMENSIONAL NONCOMMUTATIVE GRAVITY
Throughout this paper, we concentrate our attention on noncommutative gravity in three dimensions.3 Three dimensional Chern-Simons noncommutative gravity has recently been studied by Ba˜ nados et al. [4] and more recently by Cacciatori et al. [5]. We would like to study noncommutative gravity in three dimensions without a cosmological constant [7]. Further, we consider the case that spatial coordinates are mutually noncommutative. The signature is taken to be Euclidean, and the coordinates are denoted as x1 = x , x2 = y , x3 = τ , where [ x, y ] = i θ. (11)
Guchi-TP-010
Noncommutative gravity in three dimensions coupled to spinning sources
Kiyoshi Shiraishi1 ∗ , Kenji Sakamoto2 † and Nahomi Kan2 ‡
arXiv:hep-th/0204173v1 20 Apr 2002
n
n! (n + ℓ)!
2r 2 θ
ℓ/2 2 −r Lℓ n (2r /θ )e
2 /θ
eiℓϕ ,
(5)
where r 2 = x2 + y 2 , z = reiϕ and Lℓ n (x) is the Lagurre polynomial. In particular, |0 0| = 2e−r
Typeset using REVTEX
∗ Email † Email ‡ Email
address: shiraish@sci.yamaguchi-u.ac.jp address: b1795@.yamaguchi-u.ac.jp address: b1834@.yamaguchi-u.ac.jp∞1=n=0|n n| ,z=



n=0

n + 1| n n + 1| ,
z ¯=



n=0

n + 1|n + 1 n| , (4) =
√ √ where ket and bra satisfy z |0 = 0, z |n = 2θ n|n − 1 (n = 1, 2, . . .), z ¯|n √ √ 2θ n + 1|n + 1 (n = 0, 1, 2, . . .), and so on. Another example is |n n + ℓ| = 2(−1)
II. NONCOMMUTATIVE PLANE
In this section, we review two dimensional noncommutative space. For more details, please consult a comprehensive review by Douglas and Nekrasov [1]. Consider noncommutative coordinates, for example, [ x, y ] = i θ , (1)
1
Faculty of Science, Yamaguchi University, Yoshida, Yamaguchi-shi, Yamaguchi 753-8512, Japan
2 Graduate
School of Science and Engineering, Yamaguchi University, Yoshida, Yamaguchi-shi, Yamaguchi 753-8512, Japan (February 1, 2008)
1
I. INTRODUCTION
We expect that noncommutative field theory [1] is worth studying, because the fundamental minimal length scale in the theory may avoid singularities and infinities which arise in usual field theories. Several attempts to formulate models of gravity on noncomutative spaces have recently been developed [2–7]. For three dimensional models, a treatment based on the Chern-Simons gauge theory has been studied in [4,5,7]. In the present paper, we consider three dimensional noncommutative gravity with no cosmological term. We show an exact solution with a localized source in the theory. The size √ of the point-like structure is controlled by the length scale θ of the theory. The investigation of scattering by the localized object reveals how we can “see” the noncommutative space by a wave probe. The plan of the present paper is as follows: In Sec. II we give a brief description of noncommutative space for self-containedness as well as for later use of notational convensions. In Sec. III we review noncommutative gravity in three dimensions with vanishing cosmological constant. Sec. IV describes spacetime in the presence of torsional sources. The scattering of a scalar wave is studied in Sec. V. Finally, Sec. VI contains conclusion and discussion.
相关文档
最新文档