Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions about using or composing operators--functional mappings from one state or vector space to another.

1
vote
0answers
20 views

Operator valued functions [duplicate]

For some parts of physics it is useful to define an operator valued function Take for example R[K_] := Sum[K[[j]] D[#, K[[j]]], {j, 1, 4}] It is supposed to be ...
1
vote
3answers
65 views

Noncommutative Expand into power series

I am new to Mathematica and am trying to apply it to quantum mechanics problems. The practice project I am dealing with now is considering quantum harmonic oscillator and ladder operator algebra ...
4
votes
1answer
41 views

Operator form for Histogram of multiple datasets?

I would like to plot a histogram for multiple datasets in a dataset query, but can't quite seem to make it work in operator notation: ...
1
vote
0answers
41 views

Add operator symbols to matrices in Wolfram [closed]

I am working with the matrices of the form $u = \begin{pmatrix}Y &y\\0 & Y\end{pmatrix}$, and I have an operator $a$ such that $au=\begin{pmatrix}Y & ay\\0 & Y\end{pmatrix}$. Since y ...
5
votes
1answer
89 views

Indefinite order of differential operator

In the latest version of Mathematica, D can compute derivatives of symbolic order, that is, the $n^{\text{th}}$ (partial) derivative, returning an expression ...
2
votes
0answers
64 views

Wick's theorem for Gaussian stochastic variables

I wonder whether there exists a clever way to implement Wick's theorem for Gaussian stochastic variables $\eta_{j_{i}}$ (with $\langle \eta_{j_{i}}\rangle=0$ for $\forall i$) which in general states: ...
2
votes
1answer
62 views

Commutator of block matrices

How to implement a commutator of matrices composed of operators? Background: Let $\hat A_{ij}$, $\hat B_{kl}$ be some sets of some operators. $\hat I$ is the identity operator. Their commutators are ...
1
vote
0answers
30 views

Del as a Differential Operator: (Matrix times Del) cross vector [duplicate]

I tried to reply to this answer, but don't have enough reputation points yet. Basically the poster constructed Del (i.e. $\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \...
0
votes
0answers
39 views

How do you treat gradient as a vector? [duplicate]

I need to express $\nabla = (\partial_x,\partial_y,\partial_z)$ as a vector, so that I can compute the differential operator given by $A\cdot\nabla$ (where here $A$ is a 3x3 matrix) using Mathematica. ...
0
votes
1answer
58 views

How can I define a derivation in Mathematica?

I would like to define a derivation in Mathematica. As an example something like this: for an operator O and operators $A,B$ in a two dimensional vector space with $$ O \times A = a \\ O \times B = b \...
0
votes
1answer
56 views

How to program Mathematica to do the differential operator calculation

I want to create a surface Laplacian under the spheroidal coordinates, Now, I already have the surface gradient defined, but I don't know how to find the Laplacian. Since the surface gradient is too ...
4
votes
2answers
409 views

How to define a differential operator in Mathematica? [duplicate]

I want to define an operator $(\partial_{t}+1)^{2}=\partial_{t}\partial_{t}+2\partial_{t}+1$. Then, I want it to act on $t$. My code looks like this: ...
6
votes
1answer
149 views

Position-based Inline syntax for Curry

I would like to update an existing pseudo-curry function: • /: h_[pre___, •, post___] := Function[expr, h[pre, expr, post]]; that I use inline like this - the ...
0
votes
0answers
29 views

Non-commutative multiplication sign and constant treatment

By default, non-commutative multiplication behaves as (-W) ** (4 R) //FullForm ...
1
vote
1answer
46 views

Finding a pattern in sum of products of two or more variables with subscripts

I am trying (so far unsuccessfully) to isolate terms in an expression which are product of variables with a specific subscript pattern (the b_,_'s). I want only terms for which the first subscript ...
0
votes
0answers
43 views

How to use multiple placeholders to define a function that operates on special functions.

I am trying to understand if and how I can use multiple placeholders in order to define a function that will perform more than one operations on special functions; more accurately, sums, products, etc ...
2
votes
1answer
125 views

Linear operator algebra: How to distinguish scalars and operators?

In the book "A Physicist' s Guide to Mathematica" Patrick Tam introduces symbolic rules for an algebra of linear operators. Mathematically the rules are as follows, where upper (lower) case letters ...
0
votes
3answers
150 views

Calculating bracket operations [closed]

Is there a way to calculate commutation relations in Mathematica? For example, let's say I want to compute ; how can this be done?
0
votes
0answers
53 views

How to create operator variables and lists of operators?

I want to know if it is possible to create a variable that is an operator. (Please note I only started programming Mathematica today) For example, the partial operator $\partial_x$ i.e. ...
4
votes
1answer
69 views

Can I control depths in `Inner`?

I want to optimize the code like this: ...
1
vote
0answers
58 views

Superposition of the differential operators

My problem can be easily solved without Mathematica, however, I am curious how to do it in Mathematica. Moreover, I can be stuck with a similar, but more cumbersome problems in the future. Following ...
1
vote
1answer
96 views

Raising, lowering and number operators for Dirac notation

Starting from this very interesting post Defining quantum-mechanical Bra and Ket operations, i would like to implement raising, lowering and number operators, taking into account that they might be ...
0
votes
0answers
59 views

How to define a product on formal power series (pseudo-differential operators)?

I am used to working with the set of (algebraic) pseudo-differential operators, which consists of formal power series in the symbol $D$ (differentiation operator) of the form $$X = \sum_{j=-\infty}^n ...
5
votes
2answers
118 views

How to construct infix operator with usual behavior?

I am trying to define my own infix operator and having problems with strung-together evaluation. The code below is a simple example. What I would like is to have the operator treated associatively, ...
2
votes
1answer
220 views

What are current approaches for supporting Dirac notation for quantum mechanics?

I'd like to be able to use Mathematica to preform some basic quantum mechanics and quantum computation operations using Dirac's Bra-Ket notation. I've seen several solutions to defining basic ...
3
votes
1answer
417 views

What is the operator **? [closed]

In mathematica if you run: ...
4
votes
2answers
289 views

Interchanging addition and multiplication

Suppose I have an expression that employs addition and multiplication, but no subtraction or division: $$ 2 a + 5 b x^3 + c \;. $$ I would like to change this to $$ (2 + a) (5 +b + x +x +x) c \;, $$ ...
1
vote
0answers
45 views

Operator on a multivariable function in a sum

I need to define an operator that does as follow for any function $h_m$. $\qquad O[h_m](k,M,b,l_{max})=\sum_{l\neq (0,m)}^{l_{max}}il \left (h_l(k,M,b,l_{max}) b_{m-l}(k)- c_l\partial_k h_{m-l}(k,M,...
1
vote
2answers
88 views

Defining an operator: Partially evaluate a Pure Function

I would like to define an operator that takes some parameters as input and returns a function. Here is an example: ...
3
votes
2answers
747 views

Matrix differential operator

i'm new in MATHEMATICA. I want to create an operator $D^{(f)}=\partial_x+f'-\partial^2_x$ and $D^{(g)}=\partial_x+g'-\partial^2_x$ and put it into a matrix element, then multiplied by a vector whose ...
4
votes
2answers
99 views

Define an operator for FileNameJoin

When I join file names, it's inconvenient to use FileNameJoin. The workaround is to use <> instead, however <> is not exactly like FileNameJoin. I tried to define an operator . It just doesn't ...
0
votes
1answer
101 views

How to efficiently exponentiate a differential operator with non-commuting terms, acting on an infinite series?

My question is related to this one, but I am more explicit with the form of the operator in the exponential and the function $f$. Let us have the expression: $$ e^{\mathrm{i} \left( f(x)(\hat{q} \...
3
votes
1answer
93 views

Single argument operator form?

I've heard the explanation that functions like StringDrop[] are varargs and so that is why they do not have an operator form. But when you are only using the ...
-1
votes
1answer
54 views

odd matrix operation [closed]

This is for the case of a 10 x 10 matrix. I have the matrix ...
3
votes
2answers
148 views

A function which maps $(ax + by)(cx + dy) \mapsto (a \partial_x + b \partial_y) (c \partial_x + d \partial_y)$

I am new to Mathematica and, as the title says, looking for a way of mapping (for example) the polynomial $$(ax + by)(cx + dy) \mapsto \left(a \frac{\partial}{\partial x} + b \frac{\partial}{\partial ...
0
votes
1answer
48 views

Symbollic integration and differentiation of operated functions

This question is a continuation of this one. I used the answer provided in the previous question to write this code ...
13
votes
2answers
418 views

How I can define this operator in Mathematica?

I want to define an operator $G$ such that $$G(f):=\begin{cases}f(\{x\}),&\lfloor x\rfloor\text{ is even}\\\frac1{f(\{x\})},&\lfloor x\rfloor\text{ is odd}\end{cases}$$ for any function $f$, ...
2
votes
0answers
51 views

Defining the Distributive Depth of an Operator

I am working on defining the relations between Bras and Kets in Mathematica, and I am using the CircleDot operator to represent multiplication. I seem to have some trouble defining how operations on ...
11
votes
2answers
253 views

What is the best way to define Wirtinger derivatives

Wirtinger derivatives ( also called Cauchy operators) in complex analysis are widely used tools. They are defined in the case of one dimensional complex plane as follows $$\frac{\partial}{\partial z}=...
0
votes
0answers
133 views

Defining a complex partial differential operator

I tried to define a partial differential operator using this code ...
5
votes
2answers
107 views

Custom opaque operator with custom axioms?

Is there any way to define a custom opaque operator/function in Mathematica that satisfies custom axioms, so that the Mathematica engine can perform simplifications using those axioms? For example, ...
1
vote
0answers
67 views

How can I realize operator $\frac{D}{e^D-1}$ in Mathematica?

Especially if it is applied to an integral of a function. So, I need for a given function f[t] the following: $\frac{D}{e^D-1} \int_0^t f(t)dt |_{t=\omega}$
4
votes
1answer
508 views

Proof of the Dirac-$\gamma$ matrices identity

Given the matrices $\gamma_{k}=\begin{bmatrix} O & -i\sigma_{k}\\ +i\sigma_{k}& O \end{bmatrix}$ where $\sigma_{k}$ is the $k^{th}$ Pauli matrix $\gamma_{4}=\begin{bmatrix} I^{2} &0 \...
8
votes
4answers
475 views

Change Operator Precedence of --> operator

I am trying to use --> operator with highest precedence ...
0
votes
0answers
142 views

Defining a del operator [duplicate]

I understand the Grad function is a mean to taking the gradient of an arbitrary function. However, I'd like to define the Del ...
1
vote
2answers
114 views

Problem with Distribute and Composition

I'm having trouble with the following. When I try to expand an expression like Through[Distribute[g@*(f@*g + g@*f), Plus]@x] I get what I would expect. That is, ...
3
votes
3answers
100 views

How make D[f,x] treat OverBar[x] as a constant

I have an expression of the form f = a*x +OverBar[x], where OverBar[x] is just a name, it has not much to do with the variable x. I want ...
9
votes
2answers
202 views

Which operators are missing from the official precedence table?

I often use the Operator Input Forms page as a reference for operator precedence as well as which (used or unused) operators exist. However, I just noticed that at least one operator is missing from ...
1
vote
0answers
93 views

Construct a univariate function pertaining to the space of $2 \times 2$ real matrices [closed]

Consider the space of uniformly distributed $2 \times 2$ real matrices \begin{equation} \left( \begin{array}{cc} a & b \\ c & d \\ \end{array} \right), \end{equation} with the restriction ...
3
votes
1answer
112 views

How to define “typed” objects and their operator specializations?

I've defined a primitive sort of type system where my objects are defined as lists with an associated identifier: ...